adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

aarch64 proofs: switch quick_and_dirty to Refine 

- switch off quick_and_dirty for AInvs session
- switch on quick_and_dirty for Refine session for development

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2022-12-20 09:03:06 +11:00
parent af8a8bb749
commit d43aa2e296
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
proof/Makefile
View File

@ -10,9 +10,9 @@ default: images test
test:
all: images test
# Allow sorry command in AARCH64 AInvs during development:
# Allow sorry command in AARCH64 Refine during development:
ifeq "$(L4V_ARCH)" "AARCH64"
export AINVS_QUICK_AND_DIRTY=1
export REFINE_QUICK_AND_DIRTY=1
endif
#