(self, kernel)
| 2721 | assert isinstance(s, Solver) |
| 2722 | |
| 2723 | def test_solve_using(self, kernel): |
| 2724 | s = Solver() |
| 2725 | x = Int("x") |
| 2726 | result = solve_using(s, x > 0, x < 0) |
| 2727 | assert result == unsat |
| 2728 | |
| 2729 | def test_set_param_noop(self): |
| 2730 | set_param(proof=True) # should not raise |
nothing calls this directly
no test coverage detected