Method test_as_array_requires_unary

tests/test_z3_compat.py:1587–1590

(self)

        assert is_array(a)

    def test_as_array_requires_unary(self):
        f = Function("f", IntSort(), IntSort(), IntSort())
        with pytest.raises(TypeError):
            AsArray(f)

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