Fix timeout in proof

haslab · Jun 14, 2024 · c600a0c · c600a0c
1 parent 11e250d
commit c600a0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/mutualExclusionToken/selfstab-biarray-2states/why3session.xml b/examples/mutualExclusionToken/selfstab-biarray-2states/why3session.xml
@@ -161,7 +161,7 @@
     <proof prover="0"><result status="valid" time="0.242569" steps="1416623"/></proof>
     </goal>
     <goal name="trans&#39;vc.0.8.8" expl="postcondition" proved="true">
-    <proof prover="2"><result status="valid" time="0.767450" steps="23681"/></proof>
+    <proof prover="2" timelimit="10"><result status="valid" time="1.372515" steps="29257"/></proof>
     </goal>
     <goal name="trans&#39;vc.0.8.9" expl="postcondition" proved="true">
     <proof prover="1"><result status="valid" time="0.183842" steps="43552"/></proof>