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.

Sign up for GitHub

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

Jump to bottom

Print out the generators that was used to generated the failing input #5

Merged

sunesimonsen merged 2 commits into master from sunesimonsen/output-generators

Jul 17, 2016

Member

sunesimonsen commented Jul 17, 2016 •

edited

Loading

Now you will get error out that includes the generators that generated the failing input:

Ran 100 iterations and found 4 errors
counterexample:

  Generated input: [ 0, -1, 4, 10 ]
  with: n(integer({ min: -20, max: 20 }), integer({ min: 1, max: 20 }))

  expected [ -1, 0, 10, 4 ] to be sorted

May work poorly with generators that does not inspect well, like a normal function.

Member

papandreou commented Jul 17, 2016

This looks very useful, 👍


          Print out the generators that was used to generated the failing input

55f0da4

sunesimonsen force-pushed the sunesimonsen/output-generators branch from 8b8d44a to 55f0da4 Compare

July 17, 2016 18:47


          Make sure to inspect mapped generators correctly

c9d943f

sunesimonsen merged commit 11cb589 into master

sunesimonsen deleted the sunesimonsen/output-generators branch

July 17, 2016 19:17

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

Labels

None yet