Raise Z3 timeout

GillianPlatform · Apr 5, 2023 · 010b3e1 · 010b3e1
1 parent c8ced95
commit 010b3e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/GillianCore/z3/z3_encoding.ml b/GillianCore/z3/z3_encoding.ml
@@ -39,7 +39,7 @@ let cfg =
     ("proof", "false");
     ("unsat_core", "false");
     ("auto_config", "true");
-    ("timeout", "16384");
+    ("timeout", "30000");
   ]
 
 let ctx : Z3.context = Z3.mk_context cfg