increase timeout in exp_explosion_proofs.v for CI

GaloisInc · Dec 22, 2021 · 2e90b90 · 2e90b90
1 parent 359f0d6
commit 2e90b90
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/heapster-saw/examples/exp_explosion_proofs.v b/heapster-saw/examples/exp_explosion_proofs.v
@@ -16,5 +16,5 @@ Import SAWCorePrelude.
 Lemma no_errors_explosion : refinesFun exp_explosion (fun _ => noErrorsSpec).
 Proof.
   unfold exp_explosion, exp_explosion__tuple_fun, noErrorsSpec.
-  timeout 5 time "no_errors_exp_explosion" prove_refinement.
+  timeout 10 time "no_errors_exp_explosion" prove_refinement.
 Qed.