Closed antifuchs closed 5 years ago
There is no an example/test for this case (example_panic_test.go). Also tweaked the console reporter so that in non-verbose mode the error-stack is suppressed.
Just upgraded gopter and can confirm that it works! Thanks for fixing this!
I find that code like the following:
does catch the panic, but while it prints the random seed, it does not print the parameters that resulted in the panic:
Click for output
What I would expect to see is to see the "Labels of the failing property" printed.
To work around this, I hard-code the random seed in the test options and return
false
at the start of my function if I am interested in the values, but this seems like a thing gopter could & should do automatically, especially as it already captures the panic.