Method test_model_raises

tests/test_z3_ported.py:1721–1724

(self)

    """z3py ModelRef compatibility."""

    def test_model_raises(self):
        s = Solver()
        with pytest.raises(NotImplementedError):
            s.model()

    def test_modelref_getitem_raises(self):
        m = ModelRef()