If the piece of code inside .check(...) might throw an exception, then code doesn't compile.
This is because QuickTheory assumes that the arbitrary predicate inside .check(...) never throws an exception.
To fix this, all methods in TheoryBuilder should be marked as throws Exception because they might actually throw an exception.
If the piece of code inside
.check(...)might throw an exception, then code doesn't compile. This is because QuickTheory assumes that the arbitrary predicate inside.check(...)never throws an exception. To fix this, all methods inTheoryBuildershould be marked asthrows Exceptionbecause they might actually throw an exception.