diff options
Diffstat (limited to 'test/ocaml')
| -rwxr-xr-x | test/ocaml/run_tests.sh | 41 |
1 files changed, 21 insertions, 20 deletions
diff --git a/test/ocaml/run_tests.sh b/test/ocaml/run_tests.sh index d077cd80..f9328394 100755 --- a/test/ocaml/run_tests.sh +++ b/test/ocaml/run_tests.sh @@ -91,25 +91,26 @@ done finish_suite "Ocaml trace testing" -cd $DIR - -for i in `ls -d */`; -do - cd $DIR/$i; - if $SAILDIR/sail -no_warn -undefined_gen -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" +# FIXME: Renable these! +#cd $DIR +# +#for i in `ls -d */`; +#do +# cd $DIR/$i; +# if $SAILDIR/sail -no_warn -undefined_gen -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 |