tasty icon indicating copy to clipboard operation
tasty copied to clipboard

Provide QuickCheck input values in case of non-termination

Open noschinl opened this issue 11 years ago • 3 comments

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).

noschinl avatar Oct 16 '14 14:10 noschinl

I probably won't have time to work on this, but pull requests are welcome.

UnkindPartition avatar Oct 16 '14 15:10 UnkindPartition

Came here to open this issue.. This feature would be really awesome.

osa1 avatar Jan 18 '15 16:01 osa1

Printing the replay message before running the test when --quickcheck-show-replay is true would also help with debugging non-terminating runs.

sebright avatar Jan 19 '18 05:01 sebright

Duplicate of https://github.com/UnkindPartition/tasty/issues/359.

Bodigrim avatar Apr 10 '24 22:04 Bodigrim

Closing, let's continue discussion in #359.

Bodigrim avatar Apr 20 '24 21:04 Bodigrim