Fix ISS changing the relative execution order of statements in the cloned part
[clay.git] / tests / 
tree98fbfaac9445c057aacc3baf5a7ffd76569527c5
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 3106 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