Commit d3e76979 authored by Daniel Le Berre's avatar Daniel Le Berre

Stamp Feedback: complete assertions.

parent a2de3867
Pipeline #5357 failed with stages
in 123 minutes and 55 seconds
......@@ -32,6 +32,7 @@ package org.sat4j;
import static org.junit.Assert.assertEquals;
import static org.junit.Assert.assertFalse;
import static org.junit.Assert.assertNotNull;
import static org.junit.Assert.assertTrue;
import static org.junit.Assert.fail;
......@@ -298,8 +299,11 @@ public class ModelIteratorTest {
clause.push(-3);
solver.addClause(clause);
int counter = 0;
int[] model;
while (solver.isSatisfiable() && counter < 10) {
solver.model();
model = solver.model();
assertNotNull(model);
assertEquals(3, model.length);
counter++;
}
assertEquals(10, counter);
......@@ -327,8 +331,11 @@ public class ModelIteratorTest {
clause.push(-3);
solver.addClause(clause);
int counter = 0;
int[] model;
while (solver.isSatisfiable() && counter < 10) {
solver.model();
model = solver.model();
assertNotNull(model);
assertEquals(3, model.length);
counter++;
}
assertEquals(10, counter);
......@@ -413,8 +420,11 @@ public class ModelIteratorTest {
try {
iterator.addClause(clause);
iterator.setTimeout(3);
int[] model;
while (iterator.isSatisfiable()) {
iterator.model();
model = iterator.model();
assertNotNull(model);
assertEquals(99, model.length);
}
} catch (TimeoutException e) {
......
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