tasty
tasty copied to clipboard
Provide QuickCheck input values in case of non-termination
When a QuickCheck test runs into a timeout, Tasty does not report the input values generated by QuickCheck for the interrupted run. These are interesting in case the test triggered a non-terminating behaviour.
QuickCheck itself can provide this information if the test is interrupted by a UserException (i.e., Ctrl-C).
I probably won't have time to work on this, but pull requests are welcome.
Came here to open this issue.. This feature would be really awesome.
Printing the replay message before running the test when --quickcheck-show-replay is true would also help with debugging non-terminating runs.
Duplicate of https://github.com/UnkindPartition/tasty/issues/359.
Closing, let's continue discussion in #359.