Method test_map_function_over_array

tests/test_z3_ported.py:969–974

Map(f, a) applies f element-wise.

(self)

        assert isinstance(lam._ast, LambdaNode)

    def test_map_function_over_array(self):
        """Map(f, a) applies f element-wise."""
        f = Function("f", IntSort(), IntSort())
        a = Array("a", IntSort(), IntSort())
        result = Map(f, a)
        assert is_array(result)

    def test_as_array(self):
        """AsArray(f) creates an array from a function."""