diff options
| author | Alasdair Armstrong | 2017-07-13 16:42:57 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-13 16:42:57 +0100 |
| commit | 249079742b63d43cdc4c445de3229f594c6d59fc (patch) | |
| tree | 97bdad0820cea632912b5c22e34bc91741cf1cd9 /test/typecheck | |
| parent | c19b8e2b934149b6670f43d875d773115b08410e (diff) | |
Modified MIPS model so it typechecks with the new typechecker
Diffstat (limited to 'test/typecheck')
| -rwxr-xr-x | test/typecheck/run_tests.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh index 5172142d..6ce2d5c8 100755 --- a/test/typecheck/run_tests.sh +++ b/test/typecheck/run_tests.sh @@ -15,9 +15,12 @@ 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 +MIPS="$SAILDIR/mips_new_tc" + +cat $SAILDIR/lib/prelude.sail $MIPS/mips_prelude.sail > $DIR/pass/mips_prelude.sail +cat $SAILDIR/lib/prelude.sail $MIPS/mips_prelude.sail $MIPS/mips_tlb.sail > $DIR/pass/mips_tlb.sail +cat $SAILDIR/lib/prelude.sail $MIPS/mips_prelude.sail $MIPS/mips_tlb.sail $MIPS/mips_wrappers.sail > $DIR/pass/mips_wrappers.sail +cat $SAILDIR/lib/prelude.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 pass=0 fail=0 |