diff options
| author | Alasdair Armstrong | 2019-06-06 18:20:11 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-06-06 18:20:33 +0100 |
| commit | ee830e823cbcf773fa6ac0d0606d7b4eff38ac4e (patch) | |
| tree | 242e7c628c978a80c67f2a1a808fcc301d68eab0 /test | |
| parent | ac95efaf75a17481e9a1c3936f97ebab2c86b8e1 (diff) | |
Fix aarch64_small test
Diffstat (limited to 'test')
| -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 |