From cebf08acc9a278b1b9652a56bd0c506d2f6268f6 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 6 Jun 2019 18:01:40 +0100
Subject: SMT: Rename some functions to make usage clearer

---
 aarch64_small/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'aarch64_small')

diff --git a/aarch64_small/Makefile b/aarch64_small/Makefile
index b0a993ef..2606da05 100644
--- a/aarch64_small/Makefile
+++ b/aarch64_small/Makefile
@@ -23,8 +23,8 @@ armV8.lem: $(SOURCES)
 # also generates armV8_embed_sequential.lem, armV8_embed_types.lem, armV8_toFromInterp.lem
 	$(SAIL) $(SAILFLAGS) -lem -lem_lib ArmV8_extras_embed -o armV8 $^
 
-armV8.axiomatic_model: $(SOURCES)
-	$(SAIL) $(SAILFLAGS) -axiomatic -o armV8 $^
+armV8.smt_model: $(SOURCES)
+	$(SAIL) $(SAILFLAGS) -smt_serialize -o armV8 $^
 
 for-rmem/armV8.lem: $(SOURCES)
 	mkdir -p $(dir $@)
-- 
cgit v1.2.3