(strategy, condition=lambda _: True)
| 102 | |
| 103 | |
| 104 | def assert_no_examples(strategy, condition=lambda _: True): |
| 105 | try: |
| 106 | assert_all_examples(strategy, lambda val: not condition(val)) |
| 107 | except (Unsatisfiable, NoSuchExample): |
| 108 | pass |
| 109 | |
| 110 | |
| 111 | def assert_all_examples(strategy, predicate, settings=None): |