Skip to content

Commit

Permalink
Fix timeout in proof
Browse files Browse the repository at this point in the history
  • Loading branch information
belolourenco committed Jun 14, 2024
1 parent 952cca6 commit b4d5c0d
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down

0 comments on commit b4d5c0d

Please sign in to comment.