<p>Nico Huber has uploaded this change for <strong>review</strong>.</p><p><a href="https://review.coreboot.org/26837">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">Makefile.proof: Remove cvc4 from prover list<br><br>Since we have z3, it was never of much use.<br><br>Change-Id: Ib0458bfe53fd999c60f8d1b7cf8709e6195d0a42<br>Signed-off-by: Nico Huber <nico.huber@secunet.com><br>---<br>M Makefile.proof<br>1 file changed, 1 insertion(+), 1 deletion(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://review.coreboot.org:29418/libhwbase refs/changes/37/26837/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/Makefile.proof b/Makefile.proof</span><br><span>index 45523c3..6c16a40 100644</span><br><span>--- a/Makefile.proof</span><br><span>+++ b/Makefile.proof</span><br><span>@@ -11,7 +11,7 @@</span><br><span> SPARKFLAGS += --mode=$(PROOF_MODE)</span><br><span> SPARKFLAGS += --report=fail</span><br><span> SPARKFLAGS += --warnings=error</span><br><span style="color: hsl(0, 100%, 40%);">-SPARKFLAGS += --prover=z3,cvc4 --steps=500 --timeout=1   # FIXME: timeout used because steps seems broken</span><br><span style="color: hsl(120, 100%, 40%);">+SPARKFLAGS += --prover=z3 --steps=500 --timeout=1     # FIXME: timeout used because steps seems broken</span><br><span> </span><br><span> quote-list = $(subst $(space),$(comma),$(patsubst %,"%",$(1)))</span><br><span> </span><br><span></span><br></pre><p>To view, visit <a href="https://review.coreboot.org/26837">change 26837</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://review.coreboot.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://review.coreboot.org/26837"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: libhwbase </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>
<div style="display:none"> Gerrit-Change-Id: Ib0458bfe53fd999c60f8d1b7cf8709e6195d0a42 </div>
<div style="display:none"> Gerrit-Change-Number: 26837 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Nico Huber <nico.h@gmx.de> </div>