Method test_lambda_array

tests/test_z3_ported.py:963–967

Lambda as array comprehension.

(self)

        assert isinstance(sel._ast, SelectNode)

    def test_lambda_array(self):
        """Lambda as array comprehension."""
        x = Int("x")
        lam = Lambda(x, x * 2)
        assert isinstance(lam._ast, LambdaNode)

    def test_map_function_over_array(self):
        """Map(f, a) applies f element-wise."""