diff options
| author | Alasdair Armstrong | 2017-11-10 16:59:44 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-10 16:59:44 +0000 |
| commit | 05a84d17bf583c97fb3e77c4a6a07d888a6a2681 (patch) | |
| tree | 2f205282a98d424a8443ade225e6d6022d3dc707 /test | |
| parent | 16272e084d118c1b72d7921455d023aaafbf3dd5 (diff) | |
Fixed some tricky typechecking bugs
Diffstat (limited to 'test')
| -rwxr-xr-x | test/typecheck/run_tests.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh index eaa268a6..48cf070b 100755 --- a/test/typecheck/run_tests.sh +++ b/test/typecheck/run_tests.sh @@ -60,9 +60,9 @@ printf "<testsuites>\n" >> $DIR/tests.xml for i in `ls $DIR/pass/`; do - if $SAILDIR/sail -ddump_tc_ast -just_check $DIR/pass/$i 2> /dev/null 1> $DIR/rtpass/$i; + if $SAILDIR/sail -ddump_tc_ast -dsanity $DIR/pass/$i 2> /dev/null 1> $DIR/rtpass/$i; then - if $SAILDIR/sail -dno_cast -ddump_tc_ast -just_check $DIR/rtpass/$i 2> /dev/null 1> $DIR/rtpass2/$i; + if $SAILDIR/sail -ddump_tc_ast -dno_cast -dsanity $DIR/rtpass/$i 2> /dev/null 1> $DIR/rtpass2/$i; then if diff $DIR/rtpass/$i $DIR/rtpass2/$i; then |