Method test_lambda_multi

tests/test_z3_ported.py:1357–1361

(self)

        assert lam._ast.name == "x"

    def test_lambda_multi(self):
        x, y = Ints("x y")
        lam = Lambda([x, y], x + y)
        assert isinstance(lam._ast, LambdaNode)
        assert isinstance(lam._ast.body, LambdaNode)

    def test_lambda_free_vars(self):
        """Lambda binds its variable."""