From b4d5c0d40507eae92d249c8c8c51ab2befd73674 Mon Sep 17 00:00:00 2001
From: claudio <belolourenco@gmail.com>
Date: Fri, 14 Jun 2024 14:25:57 +0100
Subject: [PATCH] Fix timeout in proof

---
 .../selfstab-biarray-2states/why3session.xml                    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/mutualExclusionToken/selfstab-biarray-2states/why3session.xml b/examples/mutualExclusionToken/selfstab-biarray-2states/why3session.xml
index 7289cac..2aab401 100644
--- 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>