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()