Nico Huber has uploaded this change for review. ( https://review.coreboot.org/26837
Change subject: Makefile.proof: Remove cvc4 from prover list ......................................................................
Makefile.proof: Remove cvc4 from prover list
Since we have z3, it was never of much use.
Change-Id: Ib0458bfe53fd999c60f8d1b7cf8709e6195d0a42 Signed-off-by: Nico Huber nico.huber@secunet.com --- M Makefile.proof 1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://review.coreboot.org:29418/libhwbase refs/changes/37/26837/1
diff --git a/Makefile.proof b/Makefile.proof index 45523c3..6c16a40 100644 --- a/Makefile.proof +++ b/Makefile.proof @@ -11,7 +11,7 @@ SPARKFLAGS += --mode=$(PROOF_MODE) SPARKFLAGS += --report=fail SPARKFLAGS += --warnings=error -SPARKFLAGS += --prover=z3,cvc4 --steps=500 --timeout=1 # FIXME: timeout used because steps seems broken +SPARKFLAGS += --prover=z3 --steps=500 --timeout=1 # FIXME: timeout used because steps seems broken
quote-list = $(subst $(space),$(comma),$(patsubst %,"%",$(1)))