Skip to content

GitLab

why3
why3
Commit 5ed2db66 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files
Options

fix blocking_semantics5 session

parent ca60b10b
Hide whitespace changes
Inline Side-by-side
Showing with 64 additions and 80 deletions
examples/hoare_logic/blocking_semantics5/why3session.xml
View file @ 5ed2db66
......@@ -819,297 +819,297 @@
name="remove_logic">
<meta_arg_ls
id="10"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="258"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="268"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="278"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="303"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="309"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="348"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="349"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="350"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="353"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="1445"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="1446"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="1447"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="1515"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2409"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2412"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2416"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2425"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2456"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="4250"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="4364"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="4375"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="4498"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="4555"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="4579"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="4580"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1448"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1455"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1458"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1461"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1464"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1467"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1472"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1479"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1486"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1504"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1509"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1512"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1524"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1527"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1534"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1539"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1544"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1545"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1552"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2372"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2378"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2402"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2438"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2447"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2458"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="4154"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="4540"/>
</meta_args>
</meta>
<meta
name="remove_type">
<meta_arg_ts
id="2"/>
</meta_args>
</meta>
<meta
name="remove_type">
<meta_arg_ts
id="2358"/>
</meta_args>
</meta>
<meta
name="remove_type">
<meta_arg_ts
id="2388"/>
</meta_args>
</meta>
<meta
name="remove_type">
<meta_arg_ts
id="2395"/>
</meta_args>
</meta>
<meta
name="remove_type">
<meta_arg_ts
id="4103"/>
</meta_args>
</meta>
<meta
name="remove_type">
<meta_arg_ts
id="4113"/>
</meta_args>
</meta>
<goal
name="Test55"
locfile="../blocking_semantics5.mlw"
......@@ -4692,15 +4692,7 @@
expanded="false"
shape="CV0aSskiptaSassignVVtaSseqVVtaSifVVVavalid_fmlaaFimpliesawpV0V8awpV0V9Iavalid_fmlaaFimpliesV8V9FIavalid_fmlaaFimpliesawpV6V10awpV6V11Iavalid_fmlaaFimpliesV10V11FIavalid_fmlaaFimpliesawpV7V12awpV7V13Iavalid_fmlaaFimpliesV12V13FaSassertVtaSwhileVVVtF">
<proof
prover="1"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
<result status="timeout" time="5.03"/>
</proof>
<proof
prover="2"
prover="3"
timelimit="5"
memlimit="1000"
obsolete="false"
......@@ -4708,12 +4700,12 @@
<result status="timeout" time="5.03"/>
</proof>
<proof
prover="3"
prover="4"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
<result status="timeout" time="5.08"/>
<result status="timeout" time="5.07"/>
</proof>
<proof
prover="5"
......@@ -4722,15 +4714,7 @@
edited="blocking_semantics5_WP_monotonicity_2.v"
obsolete="false"
archived="false">
<result status="valid" time="1.24"/>
</proof>
<proof
prover="6"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
<result status="timeout" time="5.10"/>
<result status="valid" time="1.00"/>
</proof>
<proof
prover="7"
......@@ -4738,7 +4722,7 @@
memlimit="1000"
obsolete="false"
archived="false">
<result status="timeout" time="5.04"/>
<result status="timeout" time="5.10"/>
</proof>
</goal>
<goal
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment