GalaxyCheck icon indicating copy to clipboard operation
GalaxyCheck copied to clipboard
verified publisher icon nth-commit

Exhaustion; end-to-end experience

Open nth-commit opened this issue 4 years ago • 0 comments

  • How does exhaustion manifest when running a property (devx), as well as sampling a generator? Pertaining to the XUnit integration, but also the runners that live inside the core lib.
  • Should exhaustion be configurable? Max skips, exhausting strategy?

nth-commit avatar Mar 30 '21 19:03 nth-commit