Merge branch 'master' of github.com:periscop/claymaster
[clay.git] / tests / 
tree90213f904008923fe95088e61016a0255153f590
drwxr-xr-x   ..
-rw-r--r-- 0 .gitignore
-rw-r--r-- 7429 Makefile.am
-rwxr-xr-x 2568 check_fail.sh
-rwxr-xr-x 2210 check_source_result.py
-rwxr-xr-x 2564 check_tests.sh
-rwxr-xr-x 2574 check_unitary.sh
-rwxr-xr-x 3141 checker.sh
drwxr-xr-x - must_fail
-rwxr-xr-x 2975 redo_scop.sh
drwxr-xr-x - regression
drwxr-xr-x - tests
drwxr-xr-x - unitary