Method test_reset_clears

tests/test_z3_semantic.py:1100–1105

(self, kernel)

        assert s.check() == sat  # x == x

    def test_reset_clears(self, kernel):
        s = Solver()
        s.add(BoolVal(False))
        assert s.check() == unsat
        s.reset()
        assert s.check() == sat

    def test_distinct_two(self, kernel):
        x, y = Ints("x y")