jqwik-team/jqwik

Bug: PropertyExecutor.execute() does not handle AssertionErrors correctly

jlink opened this issue · 1 comments

jlink commented

Bug description

If PropertyExecutor.execute() throws an AssertionError (e.g. in a after-property method), then this exception is propagated instead of being wrapped in a PropertyExecutionResult.

jlink commented

Released in 1.7.4-SNAPSHOT