Method test_rec_function

tests/test_z3_ported.py:4175–4177

(self)

class TestRecFunction:
    def test_rec_function(self):
        f = RecFunction("f", IntSort(), IntSort())
        assert isinstance(f, FuncDeclRef)

    def test_rec_add_definition(self):
        f = RecFunction("f", IntSort(), IntSort())