diff options
| -rwxr-xr-x | test/aarch64_small/run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/aarch64_small/run_tests.sh b/test/aarch64_small/run_tests.sh index 424252de..416ad9f1 100755 --- a/test/aarch64_small/run_tests.sh +++ b/test/aarch64_small/run_tests.sh @@ -52,7 +52,7 @@ else red "failed to build lem" "fail" fi -if make -B -C ../../aarch64_small smt SAIL="$SAILDIR/sail" +if make -B -C ../../aarch64_small armV8.smt_model SAIL="$SAILDIR/sail" then green "compiled aarch64_small for SMT generation" "ok" else |