Commit 537d86b7 authored by Andrei Paskevich's avatar Andrei Paskevich

Multiprecision: fix transformation call

parent f1db6b7a
......@@ -309,7 +309,7 @@
<goal name="VC lshift.9.0" expl="loop invariant init" proved="true">
<transf name="replace" proved="true" arg1="(sz - msb)" arg2="1">
<goal name="VC lshift.9.0.0" expl="loop invariant init" proved="true">
<transf name="cut" proved="true" arg1="(value o3 1 = get (pelts o3) (offset o3))">
<transf name="cut" proved="true" arg1="(value o1 1 = get (pelts o1) (offset o1))">
<goal name="VC lshift.9.0.0.0" expl="loop invariant init" proved="true">
<proof prover="5" timelimit="1"><result status="valid" time="0.02" steps="64"/></proof>
</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