diff options
Diffstat (limited to 'test/ocaml/run_tests.sh')
| -rwxr-xr-x | test/ocaml/run_tests.sh | 26 |
1 files changed, 25 insertions, 1 deletions
diff --git a/test/ocaml/run_tests.sh b/test/ocaml/run_tests.sh index 481ff80f..9ed00494 100755 --- a/test/ocaml/run_tests.sh +++ b/test/ocaml/run_tests.sh @@ -50,7 +50,7 @@ printf "<testsuites>\n" >> $DIR/tests.xml for i in `ls -d */`; do cd $DIR/$i; - if $SAILDIR/sail -o out -ocaml ../prelude.sail `ls *.sail` 1> /dev/null; + if $SAILDIR/sail -new_parser -o out -ocaml ../prelude.sail `ls *.sail` 1> /dev/null; then ./out > result; if diff expect result; @@ -69,4 +69,28 @@ done finish_suite "Ocaml testing" +cd $DIR + +for i in `ls -d */`; +do + cd $DIR/$i; + if $SAILDIR/sail -new_parser -o out -ocaml_trace ../prelude.sail `ls *.sail` 1> /dev/null; + then + ./out > result 2> /dev/null; + if diff expect result; + then + green "built $i" "ok" + else + yellow "bad output $i" "fail" + fi; + rm out; + rm result; + rm -r _sbuild + else + red "building $i" "fail" + fi +done + +finish_suite "Ocaml trace testing" + printf "</testsuites>\n" >> $DIR/tests.xml |