Method test_is_app

tests/test_z3_ported.py:2788–2792

(self)

        assert not is_sort(42)

    def test_is_app(self):
        f = Function("f", IntSort(), IntSort())
        x = Int("x")
        assert is_app(f(x))
        assert not is_app(x)

    def test_is_func_decl(self):
        f = Function("f", IntSort(), IntSort())