Method test_solver_insert

tests/test_z3_ported.py:2616–2620

(self, kernel)

        assert len(s.assertions()) == 1

    def test_solver_insert(self, kernel):
        s = Solver()
        x = Int("x")
        s.insert(x > 0)
        assert len(s.assertions()) == 1

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