diff options
| author | Alasdair Armstrong | 2019-06-06 18:01:40 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-06-06 18:02:09 +0100 |
| commit | cebf08acc9a278b1b9652a56bd0c506d2f6268f6 (patch) | |
| tree | 8f92ccbaa8ec1f9f72049855ff9a913415dc69d6 /aarch64_small | |
| parent | 110bef3571a77fd8f1059827ea0bb29935ed785d (diff) | |
SMT: Rename some functions to make usage clearer
Diffstat (limited to 'aarch64_small')
| -rw-r--r-- | aarch64_small/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
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 $@) |