Method test_eval_raises

tests/test_z3_ported.py:4480–4483

(self)

class TestModelRefExtended:
    def test_eval_raises(self):
        m = ModelRef()
        with pytest.raises(NotImplementedError):
            m.eval(Int("x"))

    def test_evaluate_alias(self):
        m = ModelRef()