Method test_solver_num_scopes

tests/test_z3_ported.py:2626–2634

(self, kernel)

        s.set(timeout=1000)  # no-op, should not raise

    def test_solver_num_scopes(self, kernel):
        s = Solver()
        assert s.num_scopes() == 0
        s.push()
        assert s.num_scopes() == 1
        s.push()
        assert s.num_scopes() == 2
        s.pop()
        assert s.num_scopes() == 1

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