Method test_solver_reset

tests/test_z3_ported.py:890–896

Guide: solver.reset() clears all.

(self, kernel)

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

    def test_solver_reset(self, kernel):
        """Guide: solver.reset() clears all."""
        s = Solver()
        s.add(BoolVal(True))
        s.add(BoolVal(True))
        s.reset()
        assert len(s.assertions()) == 0

    def test_solver_context_manager(self, kernel):
        """With statement for push/pop."""