increase smt timeout

runtimeverification · Jan 24, 2025 · e4f3073 · e4f3073
1 parent 12456b8
commit e4f3073
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -60,7 +60,7 @@ tests/%.parse: tests/%
 
 tests/%.prove: tests/%
 	$(eval SOURCE_DIR := $(shell $(KDIST) which wasm-semantics.source))
-	$(TEST) prove $< kwasm-lemmas -I $(SOURCE_DIR)/wasm-semantics -w2e --haskell-backend-command "kore-exec --smt-timeout 500"
+	$(TEST) prove $< kwasm-lemmas -I $(SOURCE_DIR)/wasm-semantics -w2e --haskell-backend-command "kore-exec --smt-timeout 5000"
 
 tests/proofs/wrc20-spec.k.prove: tests/proofs/wrc20-spec.k
 	$(eval SOURCE_DIR := $(shell $(KDIST) which wasm-semantics.source))