Fix timeout in proof

haslab · Jun 14, 2024 · dfd8fa7 · dfd8fa7
1 parent d21d954
commit dfd8fa7
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>