Improve handling of errors during generation
Seelengrab opened this issue · comments
At the moment, PropCheck.jl assumes the generators don't throw errors. This is suboptimal, due to requiring more stringent checks from users than may be necessary. It would be cool if PropCheck.jl could either try/catch errors during such generation, or provide a way to ensure throwing values are never triggered during generation.
PropCheck.jl has entered maintenance mode, which means that no new features will be added.
If you're interested in a PBT package providing this capability, consider using Supposition.jl, which is actively adding new features & UX niceties. Please open a feature request with that repository if you're interested in this functionality.