Method test_lambda_square

tests/test_z3_semantic.py:1333–1337

Select(Lambda(x, x*x), 7) = 49

(self, kernel)

        assert _try_prove(Select(f, IntVal(999)) == IntVal(42))

    def test_lambda_square(self, kernel):
        """Select(Lambda(x, x*x), 7) = 49"""
        x = Int("x")
        f = Lambda([x], x * x)
        assert _try_prove(Select(f, IntVal(7)) == IntVal(49))


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