Increase timeout to solve super long MBAs (250+)

pgarba · Oct 15, 2024 · 8a896fb · 8a896fb
1 parent b23983d
commit 8a896fb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Z3Prover.cpp b/Z3Prover.cpp
@@ -17,8 +17,8 @@ llvm::cl::opt<bool>
 // Add timeout parameter as string
 llvm::cl::opt<std::string>
     timeout("timeout", llvm::cl::Optional,
-            llvm::cl::desc("Timeout for Z3 solver (Default 500)"),
-            llvm::cl::value_desc("timeout"), llvm::cl::init("500"));
+            llvm::cl::desc("Timeout for Z3 solver (Default 700)"),
+            llvm::cl::value_desc("timeout"), llvm::cl::init("700"));
 
 // Accept unknown as unsat
 llvm::cl::opt<bool>