Commit 606d39ee authored by Romain WALLON's avatar Romain WALLON

Corrects a problem when finding 'any' literal to weaken

parent 2245c8eb
Pipeline #364 passed with stages
in 25 minutes and 58 seconds
......@@ -88,7 +88,8 @@ public interface IWeakeningStrategy {
int size = wpb.size();
for (int ind = 0; ind < size && lit == -1; ind++) {
if (coefsBis[ind].signum() != 0
&& !voc.isFalsified(wpb.get(ind))) {
&& !voc.isFalsified(wpb.get(ind))
&& ind != indLitImplied) {
assert coefsBis[ind].compareTo(degreeBis) < 0;
lit = ind;
}
......
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