Method test_solver_assertions

tests/test_z3_ported.py:882–888

Guide: solver.assertions() returns added constraints.

(self, kernel)

        assert s.check() != unsat

    def test_solver_assertions(self, kernel):
        """Guide: solver.assertions() returns added constraints."""
        s = Solver()
        x = Int("x")
        s.add(x > 0)
        s.add(x < 10)
        assert len(s.assertions()) == 2

    def test_solver_reset(self, kernel):
        """Guide: solver.reset() clears all."""