class TestDump(unittest.TestCase):
def setUp(self):
self.solver = Solver()
def test_max_glue_missing(self):
self.assertRaises(TypeError, self.solver.start_getting_small_clauses,
4)
def test_one_dump(self):
with open("tests/test.cnf", "r") as x:
for line in x:
line = line.strip()
if "p" in line or "c" in line:
continue
out = [int(x) for x in line.split()[:-1]]
self.solver.add_clause(out)
res, _ = self.solver.solve()
self.assertEqual(res, True)
self.solver.start_getting_small_clauses(4, max_glue=10)
x = self.solver.get_next_small_clause()
self.assertNotEquals(x, None)
self.solver.end_getting_small_clauses()
class TestDump(unittest.TestCase):
def setUp(self):
self.solver = Solver()
def test_max_glue_missing(self):
self.assertRaises(TypeError,
self.solver.start_getting_small_clauses, 4)
def test_one_dump(self):
with open("tests/test.cnf", "r") as x:
for line in x:
line = line.strip()
if "p" in line or "c" in line:
continue
out = [int(x) for x in line.split()[:-1]]
self.solver.add_clause(out)
res, _ = self.solver.solve()
self.assertEqual(res, True)
self.solver.start_getting_small_clauses(4, max_glue=10)
x = self.solver.get_next_small_clause()
self.assertNotEquals(x, None)
self.solver.end_getting_small_clauses()
