Function check_unittest

test/asynchronous/qcheck.py:245–255

(test, predicate, generator)

async def check_unittest(test, predicate, generator):
    counter_examples = await check(predicate, generator)
    if counter_examples:
        failures = len(counter_examples)
        message = "\n".join(["    -> %s" % f for f in counter_examples[:examples]])
        message = "found %d counter examples, displaying first %d:\n%s" % (
            failures,
            min(failures, examples),
            message,
        )
        test.fail(message)