proof: switch AArch64 quick_and_dirty from Refine to CRefine

Refine for AArch64 is now completed and doesn't need quick_and_dirty any more. CRefine is now in development mode. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Oct 10, 2023 · 262f81a · 262f81a
1 parent 72e81c3
commit 262f81a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/proof/Makefile b/proof/Makefile
@@ -10,9 +10,9 @@ default: images test
 test:
 all: images test
 
-# Allow sorry command in AARCH64 Refine during development:
+# Allow sorry command in AARCH64 CRefine during development:
 ifeq "$(L4V_ARCH)" "AARCH64"
-  export REFINE_QUICK_AND_DIRTY=1
+  export CREFINE_QUICK_AND_DIRTY=1
 endif
 
 #