def do_draw(self, data: ConjectureData) -> Ex:
result = self.do_filtered_draw(data)
if result is not filter_not_satisfied:
return result
data.note_event(f"Aborted test because unable to satisfy {self!r}")
data.mark_invalid()
raise NotImplementedError("Unreachable, for Mypy")
def do_draw(self, data: ConjectureData) -> Ex:
result = self.filtered_strategy.do_filtered_draw(data=data,
filter_strategy=self)
if result is not filter_not_satisfied:
return result
data.note_event("Aborted test because unable to satisfy %r" % (self, ))
data.mark_invalid()
raise AssertionError("Unreachable, for Mypy") # pragma: no cover
