From ee830e823cbcf773fa6ac0d0606d7b4eff38ac4e Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 6 Jun 2019 18:20:11 +0100
Subject: Fix aarch64_small test

---
 test/aarch64_small/run_tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test')

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
-- 
cgit v1.2.3