Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Provide QuickCheck input values in case of non-termination #86

Closed
noschinl opened this issue Oct 16, 2014 · 5 comments
Closed

Provide QuickCheck input values in case of non-termination #86

noschinl opened this issue Oct 16, 2014 · 5 comments

Comments

@noschinl
Copy link

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

@UnkindPartition
Copy link
Owner

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

@osa1
Copy link

osa1 commented Jan 18, 2015

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

@grayjay
Copy link

grayjay commented Jan 19, 2018

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

@Bodigrim
Copy link
Collaborator

Duplicate of #359.

@Bodigrim
Copy link
Collaborator

Closing, let's continue discussion in #359.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

5 participants