diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/typecheck/run_tests.sh | 29 |
1 files changed, 26 insertions, 3 deletions
diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh index c4faad7e..8659e60e 100755 --- a/test/typecheck/run_tests.sh +++ b/test/typecheck/run_tests.sh @@ -101,17 +101,20 @@ function test_lem { do if $SAILDIR/sail -lem $DIR/$1/$i 2> /dev/null then + green "generated lem for $1/$i" "pass" + mv $SAILDIR/${i%%.*}_embed_types.lem $DIR/lem/ mv $SAILDIR/${i%%.*}_embed.lem $DIR/lem/ mv $SAILDIR/${i%%.*}_embed_sequential.lem $DIR/lem/ if lem -lib $SAILDIR/src/lem_interp -lib $SAILDIR/src/gen_lib/ $DIR/lem/${i%%.*}_embed_types.lem $DIR/lem/${i%%.*}_embed.lem 2> /dev/null then - green "generated lem for $1/$i" "pass" + green "typechecking lem for $1/$i" "pass" else - red "generated lem for $1/$i" "failed to typecheck lem" + red "typechecking lem for $1/$i" "fail" fi else - red "generated lem for $1/$i" "failed to generate lem" + red "generated lem for $1/$i" "fail" + red "typechecking lem for $1/$i" "fail" fi done } @@ -124,4 +127,24 @@ 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" + else + red "generated ocaml for $1/$i" "fail" + fi + done +} + +test_ocaml pass + +finish_suite "Ocaml generation 1" + +test_ocaml rtpass + +finish_suite "Ocaml generation 2" + printf "</testsuites>\n" >> $DIR/tests.xml |