diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/mono/control_deps.sail | 3 | ||||
| -rwxr-xr-x | test/mono/run_tests.sh | 7 |
2 files changed, 6 insertions, 4 deletions
diff --git a/test/mono/control_deps.sail b/test/mono/control_deps.sail index b94ffe2f..dd3bba65 100644 --- a/test/mono/control_deps.sail +++ b/test/mono/control_deps.sail @@ -65,9 +65,10 @@ function h(b) = { } */ -val run : unit -> unit /*effect {escape}*/ +val run : unit -> unit effect {escape} function run () = { + assert(true); f(false,false); f(false,true); g(false,false); diff --git a/test/mono/run_tests.sh b/test/mono/run_tests.sh index 27733c4c..7a98dc1d 100755 --- a/test/mono/run_tests.sh +++ b/test/mono/run_tests.sh @@ -54,16 +54,17 @@ echo > log if [ -z "$1" ] then - TESTS=`ls $TESTSDIR/pass` + TESTS=`find $TESTSDIR/pass -type f | sort` else TESTS="$@" fi -for i in $TESTS; +for i_full in $TESTS; do cd "$DIR" + i=`basename "$i_full"` echo "Running test $i" >> log - if "$SAILDIR/sail" -lem -lem_mwords -lem_lib Test_extra -o out $(< "$TESTSDIR/pass/$i") &>>log; + if "$SAILDIR/sail" -lem -lem_mwords -lem_lib Test_extra -o out $(< "$i_full") &>>log; then mv out.lem out_types.lem "$OUTPUTDIR" if lem -ocaml -lib "$SAILDIR/src/lem_interp" \ |