<p>Nico Huber has uploaded this change for <strong>review</strong>.</p><p><a href="https://review.coreboot.org/20627">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">Makefile.proof: Reorder theorem provers<br><br>Prefer Z3 over CVC4, the latter seems to not do anything for the current<br>code and just wastes CPU cycles.<br><br>Change-Id: Ia5e1341e881c5f887452486a318e8e72513f28fb<br>Signed-off-by: Nico Huber <nico.h@gmx.de><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/27/20627/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">diff --git a/Makefile.proof b/Makefile.proof<br>index 8b06cdc..45523c3 100644<br>--- a/Makefile.proof<br>+++ b/Makefile.proof<br>@@ -11,7 +11,7 @@<br> SPARKFLAGS += --mode=$(PROOF_MODE)<br> SPARKFLAGS += --report=fail<br> SPARKFLAGS += --warnings=error<br>-SPARKFLAGS += --prover=cvc4,z3 --steps=500 --timeout=1  # FIXME: timeout used because steps seems broken<br>+SPARKFLAGS += --prover=z3,cvc4 --steps=500 --timeout=1       # FIXME: timeout used because steps seems broken<br> <br> quote-list = $(subst $(space),$(comma),$(patsubst %,"%",$(1)))<br> <br></pre><p>To view, visit <a href="https://review.coreboot.org/20627">change 20627</a>. To unsubscribe, 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/20627"/><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: Ia5e1341e881c5f887452486a318e8e72513f28fb </div>
<div style="display:none"> Gerrit-Change-Number: 20627 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Nico Huber <nico.h@gmx.de> </div>