Method test_model_ref_getitem_raises

tests/test_z3_compat.py:1295–1298

(self)

            s.model()

    def test_model_ref_getitem_raises(self):
        m = ModelRef()
        with pytest.raises(NotImplementedError):
            m[0]

    def test_model_ref_repr(self):
        m = ModelRef()