diff options
Diffstat (limited to 'test/ocaml/run_tests.sh')
| -rwxr-xr-x | test/ocaml/run_tests.sh | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/test/ocaml/run_tests.sh b/test/ocaml/run_tests.sh index ccc3889e..62fe9950 100755 --- a/test/ocaml/run_tests.sh +++ b/test/ocaml/run_tests.sh @@ -81,7 +81,7 @@ do then green "built $i" "ok" else - yellow "bad output $i" "fail" + red "bad output $i" "fail" fi; rm out; rm result; @@ -93,4 +93,25 @@ done finish_suite "Ocaml trace testing" +cd $DIR + +for i in `ls -d */`; +do + cd $DIR/$i; + if $SAILDIR/sail -is test.isail ../prelude.sail `ls *.sail` 1> /dev/null; + then + if diff expect result; + then + green "interpreted $i" "ok" + else + red "bad output $i" "fail" + fi; + rm result + else + red "interpreter crashed on $i" "fail" + fi +done + +finish_suite "Interpreter testing" + printf "</testsuites>\n" >> $DIR/tests.xml |