Method test_add_rule

tests/test_z3_ported.py:4142–4145

(self)

        assert isinstance(fp, Fixedpoint)

    def test_add_rule(self):
        fp = Fixedpoint()
        fp.add_rule(BoolVal(True))
        assert len(fp._rules) == 1

    def test_register_relation(self):
        fp = Fixedpoint()