| 87 | |
| 88 | int get_ip1() { return i + 1; } |
| 89 | bool test() |
| 90 | { |
| 91 | // Check that Assume can be used within a lambda and still call methods |
| 92 | [&]() { Assume(get_ip1()); }(); |
| 93 | return Assume(get_ip1() != 5); |
| 94 | } |
| 95 | }; |
| 96 | } // namespace |
| 97 |
no outgoing calls
no test coverage detected