Method test_solver_append

tests/test_z3_ported.py:2610–2614

(self, kernel)

class TestSolverExtras:
    def test_solver_append(self, kernel):
        s = Solver()
        x = Int("x")
        s.append(x > 0)
        assert len(s.assertions()) == 1

    def test_solver_insert(self, kernel):
        s = Solver()