Commit 48403746 authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft
Browse files

Use proper debug flags in reflection transformation

parent e3984f48
......@@ -225,13 +225,13 @@
<proof prover="2"><result status="valid" time="0.65" steps="136"/></proof>
</goal>
<goal name="VC toom22_mul.51" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.04"/></proof>
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC toom22_mul.52" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.01"/></proof>
</goal>
<goal name="VC toom22_mul.53" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.02"/></proof>
<proof prover="3"><result status="valid" time="0.04"/></proof>
</goal>
<goal name="VC toom22_mul.54" expl="precondition" proved="true">
<proof prover="2"><result status="valid" time="0.59" steps="151"/></proof>
......@@ -384,16 +384,16 @@
<proof prover="1"><result status="valid" time="0.08"/></proof>
</goal>
<goal name="VC toom22_mul.101" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.03"/></proof>
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC toom22_mul.102" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.02"/></proof>
<proof prover="3"><result status="valid" time="0.01"/></proof>
</goal>
<goal name="VC toom22_mul.103" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.01"/></proof>
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC toom22_mul.104" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.02"/></proof>
<proof prover="3"><result status="valid" time="0.03"/></proof>
</goal>
<goal name="VC toom22_mul.105" expl="precondition" proved="true">
<proof prover="3"><result status="valid" time="0.30"/></proof>
......@@ -420,16 +420,16 @@
<proof prover="2"><result status="valid" time="0.64" steps="141"/></proof>
</goal>
<goal name="VC toom22_mul.113" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.03"/></proof>
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC toom22_mul.114" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.01"/></proof>
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC toom22_mul.115" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.02"/></proof>
<proof prover="3"><result status="valid" time="0.01"/></proof>
</goal>
<goal name="VC toom22_mul.116" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.02"/></proof>
<proof prover="3"><result status="valid" time="0.03"/></proof>
</goal>
<goal name="VC toom22_mul.117" expl="precondition" proved="true">
<proof prover="3"><result status="valid" time="0.02"/></proof>
......@@ -545,10 +545,10 @@
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC toom22_mul.143" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.01"/></proof>
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC toom22_mul.144" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.02"/></proof>
<proof prover="3"><result status="valid" time="0.01"/></proof>
</goal>
<goal name="VC toom22_mul.145" expl="postcondition" proved="true">
<proof prover="3"><result status="valid" time="0.02"/></proof>
......
This diff is collapsed.
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