diff options
| author | Brian Campbell | 2017-09-04 12:09:59 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-09-04 12:09:59 +0100 |
| commit | 00cf8533221d2dfa650adcd38ac53943be5bd995 (patch) | |
| tree | 21a34e1f094ecec430798020e046dd3374e6e74c /test/typecheck | |
| parent | 461f3c914b2e767ef3ddb926712845d5442475f3 (diff) | |
| parent | de506ed9f9c290796f159f2b5279589519c2a198 (diff) | |
Merge branch 'experiments' of bitbucket.org:Peter_Sewell/sail into mono-experiments
Diffstat (limited to 'test/typecheck')
| -rwxr-xr-x | test/typecheck/run_tests.sh | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh index 24f20d1f..eaa268a6 100755 --- a/test/typecheck/run_tests.sh +++ b/test/typecheck/run_tests.sh @@ -21,8 +21,8 @@ MIPS="$SAILDIR/mips_new_tc" cat $SAILDIR/lib/prelude.sail $SAILDIR/lib/prelude_wrappers.sail $MIPS/mips_prelude.sail > $DIR/pass/mips_prelude.sail cat $SAILDIR/lib/prelude.sail $SAILDIR/lib/prelude_wrappers.sail $MIPS/mips_prelude.sail $MIPS/mips_tlb.sail > $DIR/pass/mips_tlb.sail cat $SAILDIR/lib/prelude.sail $SAILDIR/lib/prelude_wrappers.sail $MIPS/mips_prelude.sail $MIPS/mips_tlb.sail $MIPS/mips_wrappers.sail > $DIR/pass/mips_wrappers.sail -cat $SAILDIR/lib/prelude.sail $SAILDIR/lib/prelude_wrappers.sail $MIPS/mips_prelude.sail $MIPS/mips_tlb.sail $MIPS/mips_wrappers.sail $MIPS/mips_insts.sail $MIPS/mips_epilogue.sail > $DIR/pass/mips_insts.sail -cat $SAILDIR/lib/prelude.sail $SAILDIR/lib/prelude_wrappers.sail $MIPS/mips_prelude.sail $MIPS/mips_tlb_stub.sail $MIPS/mips_wrappers.sail $MIPS/mips_insts.sail $MIPS/mips_epilogue.sail > $DIR/pass/mips_notlb.sail +cat $SAILDIR/lib/prelude.sail $SAILDIR/lib/prelude_wrappers.sail $MIPS/mips_prelude.sail $MIPS/mips_tlb.sail $MIPS/mips_wrappers.sail $MIPS/mips_ast_decl.sail $MIPS/mips_insts.sail $MIPS/mips_epilogue.sail > $DIR/pass/mips_insts.sail +cat $SAILDIR/lib/prelude.sail $SAILDIR/lib/prelude_wrappers.sail $MIPS/mips_prelude.sail $MIPS/mips_tlb_stub.sail $MIPS/mips_wrappers.sail $MIPS/mips_ast_decl.sail $MIPS/mips_insts.sail $MIPS/mips_epilogue.sail > $DIR/pass/mips_notlb.sail pass=0 fail=0 @@ -103,14 +103,14 @@ function test_lem { # MIPS requires an additional library, Mips_extras_embed. # It might be useful to allow adding options for specific test cases. # For now, include the library for all test cases, which doesn't seem to hurt. - if $SAILDIR/sail -lem -lem_lib Mips_extras_embed $DIR/$1/$i 2> /dev/null + if $SAILDIR/sail -lem -lem_lib Mips_extras_embed -lem_sequential -lem_mwords $DIR/$1/$i 2> /dev/null then green "generated lem for $1/$i" "pass" cp $MIPS/mips_extras_embed_sequential.lem $DIR/lem/ - mv $SAILDIR/${i%%.*}_embed_types.lem $DIR/lem/ + # mv $SAILDIR/${i%%.*}_embed_types.lem $DIR/lem/ mv $SAILDIR/${i%%.*}_embed_types_sequential.lem $DIR/lem/ - mv $SAILDIR/${i%%.*}_embed.lem $DIR/lem/ + # mv $SAILDIR/${i%%.*}_embed.lem $DIR/lem/ mv $SAILDIR/${i%%.*}_embed_sequential.lem $DIR/lem/ # Test sequential embedding for now # TODO: Add tests for the free monad @@ -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 |