[coreboot-gerrit] Change in libhwbase[master]: Makefile.proof: Remove cvc4 from prover list
Nico Huber (Code Review)
gerrit at coreboot.org
Mon Jun 4 22:42:46 CEST 2018
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 at 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)))
--
To view, visit https://review.coreboot.org/26837
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: libhwbase
Gerrit-Branch: master
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ib0458bfe53fd999c60f8d1b7cf8709e6195d0a42
Gerrit-Change-Number: 26837
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h at gmx.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot-gerrit/attachments/20180604/7ab3d2d5/attachment-0001.html>
More information about the coreboot-gerrit
mailing list