Exception raised when a test raised an exception e, with the sample that triggered the exception.
e
Exception raised when a test failed, with the list of counter-examples.