Method test_as_array

tests/test_z3_ported.py:976–980

AsArray(f) creates an array from a function.

(self)

        assert is_array(result)

    def test_as_array(self):
        """AsArray(f) creates an array from a function."""
        f = Function("f", IntSort(), IntSort())
        a = AsArray(f)
        assert is_array(a)


# ===================================================================