Method test_model_raises

tests/test_z3_compat.py:1290–1293

(self)

    """Tests for ModelRef stub (gap #2)."""

    def test_model_raises(self):
        s = Solver()
        with pytest.raises(NotImplementedError, match="not supported"):
            s.model()

    def test_model_ref_getitem_raises(self):
        m = ModelRef()