diff options
| author | Alasdair | 2018-07-12 00:37:54 +0100 |
|---|---|---|
| committer | Alasdair | 2018-07-12 00:38:23 +0100 |
| commit | e3e2f7137be43771aace42694c8d5112f6849039 (patch) | |
| tree | 094fab1ec602b5825795bb4ff05548f79715fb32 /test | |
| parent | 2a89faec667fdf24b93360d3da5f14eab161983b (diff) | |
Fixes for ARM Sail tests, and get_time_ns for interpreter
Diffstat (limited to 'test')
| -rwxr-xr-x | test/arm/run_tests.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/arm/run_tests.sh b/test/arm/run_tests.sh index f758d634..30f955b0 100755 --- a/test/arm/run_tests.sh +++ b/test/arm/run_tests.sh @@ -51,7 +51,7 @@ cd $SAILDIR/aarch64 printf "Compiling specification...\n" -if $SAILDIR/sail -no_lexp_bounds_check -o aarch64_test -ocaml prelude.sail no_vector/spec.sail decode_start.sail no_vector/decode.sail decode_end.sail main.sail 1> /dev/null 2> /dev/null; +if $SAILDIR/sail -no_lexp_bounds_check -o aarch64_test -ocaml no_vector.sail 1> /dev/null 2> /dev/null; then green "compiled no_vector specification" "ok"; mv aarch64_test $DIR/; @@ -83,7 +83,7 @@ printf "\nLoading specification into interpreter...\n" cd $SAILDIR/aarch64 -if $SAILDIR/sail -no_lexp_bounds_check -is $DIR/test.isail prelude.sail no_vector/spec.sail decode_start.sail no_vector/decode.sail decode_end.sail main.sail 1> /dev/null 2> /dev/null; +if $SAILDIR/sail -no_lexp_bounds_check -is $DIR/test.isail no_vector.sail 1> /dev/null 2> /dev/null; then green "loaded no_vector specification" "ok"; |