The testProperty function does a great job of wrapping FSCheck. However, it does not support (or at least I couldn't find) showing the predicate that failed - essentially, I would like to have the same type of output as Expect.equal within my PBTs.
This is currently possible if you simply call Expect.equal instead of returning the predicate itself, but this also emits the stack trace alongside the expected / actual result.
The testProperty function does a great job of wrapping FSCheck. However, it does not support (or at least I couldn't find) showing the predicate that failed - essentially, I would like to have the same type of output as Expect.equal within my PBTs.
This is currently possible if you simply call Expect.equal instead of returning the predicate itself, but this also emits the stack trace alongside the expected / actual result.