N | |
No_example_found [QCheck2] | Raised by |
No_example_found [QCheck] | |
T | |
Test_error [QCheck2.Test_exceptions] | Exception raised when a test raised an exception |
Test_fail [QCheck2.Test_exceptions] | Exception raised when a test failed, with the list of counter-examples. |
Test_unexpected_success [QCheck2.Test_exceptions] | Exception raised when a negative test failed. |