Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Fixing errors in test cases following recent Solver interface changes
  • Loading branch information
sambayless committed Aug 19, 2018
1 parent 0156e7e commit 5d0420f
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 6 deletions.
4 changes: 2 additions & 2 deletions src/monosat/api/java/tests/monosat/BitVectorTest.java
Expand Up @@ -717,7 +717,7 @@ public void testLoadingBVIterators() throws IOException {
// The solver should (now) maintain integer mappings of literals after loading from disk

{
Iterator<BitVector> it = s2.bitvectors();
Iterator<BitVector> it = s2.bitvectors().iterator();
it.next();
it.next();
it.next();
Expand All @@ -733,7 +733,7 @@ public void testLoadingBVIterators() throws IOException {
}
}
{
Iterator<BitVector> it = s2.namedBitVectors();
Iterator<BitVector> it = s2.namedBitVectors().iterator();
assertEquals(it.next(), bv1);
assertEquals(it.next(), bv2);
assertEquals(it.next(), bv3);
Expand Down
8 changes: 4 additions & 4 deletions src/monosat/api/java/tests/monosat/LitTest.java
Expand Up @@ -464,7 +464,7 @@ public void testLitIterator() {

assertEquals(6,s.nVars());
{
Iterator<Lit> it = s.literals();
Iterator<Lit> it = s.literals().iterator();
assertEquals(it.next(), Lit.True);
assertEquals(it.next(), a);
assertEquals(it.next(), b);
Expand All @@ -480,7 +480,7 @@ public void testLitIterator() {
}
}
{
Iterator<Lit> it2 = s.namedLiterals();
Iterator<Lit> it2 = s.namedLiterals().iterator();
assertEquals(it2.next(), Lit.True);
assertEquals(it2.next(), c);
assertEquals(it2.next(), e);
Expand Down Expand Up @@ -552,7 +552,7 @@ public void testLoadingLitsIterators() throws IOException {
// The solver should (now) maintain integer mappings of literals after loading from disk

{
Iterator<Lit> it = s2.literals();
Iterator<Lit> it = s2.literals().iterator();
assertEquals(it.next(), Lit.True);
assertEquals(it.next(), n2);
it.next();
Expand All @@ -570,7 +570,7 @@ public void testLoadingLitsIterators() throws IOException {

}
{
Iterator<Lit> it2 = s2.namedLiterals();
Iterator<Lit> it2 = s2.namedLiterals().iterator();
assertEquals(it2.next(), Lit.True);
assertEquals(it2.next(), n2);
assertEquals(it2.next(), c2);
Expand Down

0 comments on commit 5d0420f

Please sign in to comment.