diff options
| author | Alasdair Armstrong | 2017-07-10 19:14:41 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-10 19:14:41 +0100 |
| commit | 6e323bc2be0c15eb70fc71d6791881cf00c42184 (patch) | |
| tree | d3f7e5979246f24470cda594151ebe0a142a7848 /test | |
| parent | 61e964c60edad9209ba7fb4671720099b51c8571 (diff) | |
Bugfixes and testing new checker on the MIPS spec
Diffstat (limited to 'test')
| -rwxr-xr-x | test/typecheck/run_tests.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh index a7f02f6e..5172142d 100755 --- a/test/typecheck/run_tests.sh +++ b/test/typecheck/run_tests.sh @@ -16,6 +16,8 @@ mkdir -p $DIR/rtfail rm -f $DIR/tests.xml cat $SAILDIR/lib/prelude.sail $SAILDIR/mips_new_tc/mips_prelude.sail > $DIR/pass/mips_prelude.sail +cat $SAILDIR/lib/prelude.sail $SAILDIR/mips_new_tc/mips_prelude.sail $SAILDIR/mips_new_tc/mips_tlb.sail > $DIR/pass/mips_tlb.sail +cat $SAILDIR/lib/prelude.sail $SAILDIR/mips_new_tc/mips_prelude.sail $SAILDIR/mips_new_tc/mips_tlb.sail $SAILDIR/mips_new_tc/mips_wrappers.sail > $DIR/pass/mips_wrappers.sail pass=0 fail=0 |