Commit 2743478c authored by Romain WALLON's avatar Romain WALLON

Corrects the size of the array representing an implicant

parent 37faa28d
Pipeline #2097 passed with stages
in 32 minutes and 48 seconds
......@@ -116,7 +116,7 @@ public class WatcherBasedPrimeImplicantStrategy implements
}
}
solver.cancelUntil(0);
int[] implicant = new int[this.prime.length - removed - 1];
int[] implicant = new int[propagated];
int index = 0;
for (int i : this.prime) {
if (i != 0) {
......
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