diff options
| author | Alasdair Armstrong | 2017-09-01 14:27:34 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-09-01 14:27:34 +0100 |
| commit | 4878a4706e276b8d1aa8a6808e88faeba7789049 (patch) | |
| tree | 793108c995866adb79082d6d0d36d241d3bd60f2 /test/typecheck | |
| parent | 7e143cc0d5040ebfa9983be58ab66a83eee04573 (diff) | |
Started work on test suite for ocaml backend
Diffstat (limited to 'test/typecheck')
| -rwxr-xr-x | test/typecheck/run_tests.sh | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh index 8e21eca0..e83cc20b 100755 --- a/test/typecheck/run_tests.sh +++ b/test/typecheck/run_tests.sh @@ -135,26 +135,26 @@ test_lem rtpass finish_suite "Lem generation 2" -function test_ocaml { - for i in `ls $DIR/pass/`; - do - if $SAILDIR/sail -ocaml $DIR/$1/$i 2> /dev/null - then - green "generated ocaml for $1/$i" "pass" +# function test_ocaml { +# for i in `ls $DIR/pass/`; +# do +# if $SAILDIR/sail -ocaml $DIR/$1/$i 2> /dev/null +# then +# green "generated ocaml for $1/$i" "pass" - rm $SAILDIR/${i%%.*}.ml - else - red "generated ocaml for $1/$i" "fail" - fi - done -} +# rm $SAILDIR/${i%%.*}.ml +# else +# red "generated ocaml for $1/$i" "fail" +# fi +# done +# } -test_ocaml pass +# test_ocaml pass -finish_suite "Ocaml generation 1" +# finish_suite "Ocaml generation 1" -test_ocaml rtpass +# test_ocaml rtpass -finish_suite "Ocaml generation 2" +# finish_suite "Ocaml generation 2" printf "</testsuites>\n" >> $DIR/tests.xml |