Commit 3c8f9494 authored by Steffen Michels's avatar Steffen Michels

Merge branch 'add-CustomFailReason' into 'master'

Add CustomFailReason

See merge request !272
parents 8ed11ff0 5d7b8f98
Pipeline #29372 passed with stage
in 2 minutes and 50 seconds
......@@ -58,10 +58,11 @@ from Text.GenJSON import generic JSONEncode, generic JSONDecode, :: JSONNode, ::
* Reasons for failing a test.
*/
:: FailReason
= FailedAssertions [FailedAssertion] //* Assertions that caused the test to fail
| CounterExamples [CounterExample] //* Example values for which the test failed
| FailedChildren [(String, Maybe FailReason)] //* Subtests failed; the tuples are of name and failing reason
| Crashed //* The test crashed
= FailedAssertions ![FailedAssertion] //* Assertions that caused the test to fail
| CounterExamples ![CounterExample] //* Example values for which the test failed
| FailedChildren ![(String, Maybe FailReason)] //* Subtests failed; the tuples are of name and failing reason
| Crashed //* The test crashed
| CustomFailReason !String //* A custom reason for the test to have failed
/**
* A counter-example to a test.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment