extend prover timeout

aptos-labs · Jan 13, 2025 · e928925 · e928925
1 parent dc6c05d
commit e928925
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/aptos-move/framework/src/prover.rs b/aptos-move/framework/src/prover.rs
@@ -62,7 +62,7 @@ pub struct ProverOptions {
     pub proc_cores: usize,
 
     /// A (soft) timeout for the solver, per verification condition, in seconds.
-    #[clap(long, default_value_t = 40)]
+    #[clap(long, default_value_t = 60)]
     pub vc_timeout: usize,
 
     /// Whether to disable global timeout overwrite.
@@ -129,7 +129,7 @@ impl Default for ProverOptions {
             stratification_depth: 6,
             random_seed: 0,
             proc_cores: 4,
-            vc_timeout: 40,
+            vc_timeout: 60,
             disallow_global_timeout_to_be_overwritten: false,
             check_inconsistency: false,
             unconditional_abort_as_inconsistency: false,