Method test_lambda_single

tests/test_z3_ported.py:1351–1355

(self)

    """Lambda expressions (array comprehensions)."""

    def test_lambda_single(self):
        x = Int("x")
        lam = Lambda(x, x * 2)
        assert isinstance(lam._ast, LambdaNode)
        assert lam._ast.name == "x"

    def test_lambda_multi(self):
        x, y = Ints("x y")