Fail fast option
jeffa5 opened this issue · comments
When working with a model that has more than one property it is common, at least in development, that we want to see if any property is broken, rather than waiting for an exhaustive check to report all of the results.
This encourages quicker turnaround times for things that quickly run into issues.
To work with this, I propose that the checkers should implement a fail fast option, that changes the finish condition from requiring all properties to have a discovery, to any property having a negative discovery, an example for an always
or eventually
condition, a lack of examples for a sometimes
property.