Commit 5f8dd230 authored by Anne Parrain's avatar Anne Parrain

add test in order to weaken only needed literals (Jan's remark)

parent fcf2abc0
Pipeline #366 passed with stages
in 27 minutes and 28 seconds
......@@ -106,7 +106,7 @@ public class ConflictMapRounding extends ConflictMap {
boolean easyRounding = true;
for (int k = 0; k < n; k++) {
if (!sprime.equals(BigInteger.ZERO) && !voc.isFalsified(xyz.get(k))
&& xyz.get(k) != x && !abc[k].equals(BigInteger.ZERO)) {
&& !abc[k].mod(a).equals(BigInteger.ZERO)) {
// incremental computation of the slack proposed by Jakob
bigt = bigt.subtract(abc[k]);
tnewprime = ceildiv(bigt, a);
......
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