commit a60324f0529adc568c2183f6a3a49ae44db54af5
author Nico Huber <nico.huber@secunet.com> Mon Jun 04 12:56:25 2018 +0200
committer Nico Huber <nico.h@gmx.de> Mon May 06 16:12:34 2019 +0000
tree 781c7d6e38a57cb92f474365e6f6dfdf453051c7
parent 637f2a4f21ead8ccc45d5256834eb27ce72088db

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>
Reviewed-on: https://review.coreboot.org/c/libhwbase/+/26837
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Reto Buerki <reet@codelabs.ch>

Makefile.proof

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)))