ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity

fix sessions

Browse Source
This commit is contained in:
Claude Marche
2022-06-02 17:59:27 +02:00
parent 3a42b3fed2
commit 8abedf035e
557 changed files with 18461 additions and 18520 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
examples/decrease1/why3session.xml
View File

@@ -37,7 +37,7 @@
<proof prover="2"><result status="valid" time="0.00" steps="8"/></proof>
</goal>
<goal name="search&#39;vc.8" expl="loop invariant preservation" proved="true">
<proof prover="1"><result status="valid" time="0.02" steps="11716"/></proof>
<proof prover="1"><result status="valid" time="0.02" steps="11157"/></proof>
</goal>
<goal name="search&#39;vc.9" expl="loop variant decrease" proved="true">
<proof prover="2"><result status="valid" time="0.00" steps="8"/></proof>
@@ -77,7 +77,7 @@
<proof prover="2"><result status="valid" time="0.00" steps="7"/></proof>
</goal>
<goal name="search_rec&#39;vc.7" expl="postcondition" proved="true">
<proof prover="1"><result status="valid" time="0.01" steps="22635"/></proof>
<proof prover="1"><result status="valid" time="0.01" steps="18734"/></proof>
</goal>
</transf>
</goal>

BIN
examples/decrease1/why3shapes.gz
View File

Binary file not shown.