Select(Lambda(x, x + 1), 5) = 6
(self, kernel)
| 1319 | """Lambda expression semantics via arrays.""" |
| 1320 | |
| 1321 | def test_lambda_select(self, kernel): |
| 1322 | """Select(Lambda(x, x + 1), 5) = 6""" |
| 1323 | x = Int("x") |
| 1324 | f = Lambda([x], x + IntVal(1)) |
| 1325 | assert _try_prove(Select(f, IntVal(5)) == IntVal(6)) |
| 1326 | |
| 1327 | def test_lambda_constant(self, kernel): |
| 1328 | """Select(Lambda(x, 42), anything) = 42""" |
nothing calls this directly
no test coverage detected