commit 5bd7c1101c0b8610949e0172b0e1a0072fd03638
author Nico Huber <nico.h@gmx.de> Sat Apr 11 22:36:50 2026 +0000
committer Nico Huber <nico.h@gmx.de> Fri May 29 11:24:07 2026 +0000
tree 5871d24b0f572ab2224b4063b4437f44757fbcb2
parent 35ca5cc1eb4b0239ade90eed62bab2793a27d183

Makefile.proof: Increase proof timeout

Hardware is getting faster but software slower??? A few libgfxinit
proofs take longer than 1s now, so we'll double the timeout to 2s.

Change-Id: I27a39662c80216b7b7e2285c953d2f20995647ff
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.sourcearcade.org/c/libhwbase/+/475
Tested-by: Ada SPARK <gnatbot@sourcearcade.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>

Makefile.proof

diff --git a/Makefile.proof b/Makefile.proof
index 931c165..8876ca0 100644
--- a/Makefile.proof
+++ b/Makefile.proof
@@ -12,7 +12,7 @@
 SPARKFLAGS += --report=fail
 SPARKFLAGS += --warnings=error
 SPARKFLAGS += --no-inlining
-SPARKFLAGS += --prover=z3 --steps=500 --timeout=1	# FIXME: timeout used because steps seems broken
+SPARKFLAGS += --prover=z3 --steps=500 --timeout=2	# FIXME: timeout used because steps seems broken
 
 quote-list = $(subst $(space),$(comma),$(patsubst %,"%",$(1)))