Method test_arity

tests/test_z3_ported.py:3035–3037

(self)

        assert f.name() == "myFunc"

    def test_arity(self):
        f = Function("f", IntSort(), IntSort(), BoolSort())
        assert f.arity() == 2

    def test_domain(self):
        f = Function("f", IntSort(), RealSort(), BoolSort())