tests: add model checks
commit1c2eabd78174877ee2fb9c7f346f8d60de2450cb
authorNicola Fontana <ntd@entidi.it>
Sun, 22 Feb 2015 17:31:09 +0000 (22 18:31 +0100)
committerNicola Fontana <ntd@entidi.it>
Sun, 22 Feb 2015 17:31:09 +0000 (22 18:31 +0100)
treef009eba75364e117129bc8c383e6f6bd0dec6c80
parent91d1ab944f8a845db9ddb56fd29f7b00a44385ed
tests: add model checks
src/adg/tests/test-edges.c
src/adg/tests/test-model.c
src/adg/tests/test-path.c
src/adg/tests/test-trail.c
src/tests/adg-test.c
src/tests/adg-test.h