Method test_name

tests/test_z3_ported.py:3031–3033

(self)

    """Test FuncDeclRef.name(), .arity(), .domain(), .range()."""

    def test_name(self):
        f = Function("myFunc", IntSort(), BoolSort())
        assert f.name() == "myFunc"

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