Method test_create

tests/test_z3_ported.py:4138–4140

(self)

class TestFixedpoint:
    def test_create(self):
        fp = Fixedpoint()
        assert isinstance(fp, Fixedpoint)

    def test_add_rule(self):
        fp = Fixedpoint()