Method test_parse_string_raises

tests/test_z3_ported.py:4159–4162

(self)

        assert result == sat

    def test_parse_string_raises(self):
        fp = Fixedpoint()
        with pytest.raises(NotImplementedError):
            fp.parse_string("(rule true)")

    def test_repr(self):
        fp = Fixedpoint()