(predicate, generator)
| 230 | |
| 231 | |
| 232 | async def check(predicate, generator): |
| 233 | counter_examples = [] |
| 234 | for _ in range(gen_target): |
| 235 | case = generator() |
| 236 | try: |
| 237 | if not await predicate(case): |
| 238 | reduction = await reduce(case, predicate) |
| 239 | counter_examples.append("after {} reductions: {!r}".format(*reduction)) |
| 240 | except: |
| 241 | counter_examples.append(f"{case!r} : {traceback.format_exc()}") |
| 242 | return counter_examples |
| 243 | |
| 244 | |
| 245 | async def check_unittest(test, predicate, generator): |
no test coverage detected