model Directory Reference

Directory dependency graph for model:

Files
file	application.c [code]
	Main module of the model used to verify the runtime correctness.
file	application.h [code]
	Header of the model used to verify the runtime correctness.
file	functions.c [code]
	Helper functions of the model used to verify the runtime correctness.
file	output.c [code]
	Expected output of the model used to verify the runtime correctness.