diff options
| author | Thomas Bauereiss | 2017-09-02 19:57:27 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-09-02 19:57:27 +0100 |
| commit | 5ebfb4532b163aa560e2a1855b117e926e33f2d8 (patch) | |
| tree | c39f25a32510fe2cf6d60cddeccb5a635f95f2a7 /test/typecheck | |
| parent | 4878a4706e276b8d1aa8a6808e88faeba7789049 (diff) | |
Add command line flags to toggle sequential monad and native machine words
Diffstat (limited to 'test/typecheck')
| -rwxr-xr-x | test/typecheck/run_tests.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh index e83cc20b..eaa268a6 100755 --- a/test/typecheck/run_tests.sh +++ b/test/typecheck/run_tests.sh @@ -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 |