Method test_app_children

tests/test_z3_ported.py:2957–2963

(self)

        assert e.decl().name() == "or"

    def test_app_children(self):
        f = Function("f", IntSort(), IntSort(), IntSort())
        x, y = Ints("x y")
        e = f(x, y)
        assert is_app(e)
        assert e.num_args() == 2
        assert e.decl().name() == "f"

    def test_select_children(self):
        a = Array("a", IntSort(), IntSort())