Commit 93ac6efa authored by Camil Staps's avatar Camil Staps 🐾

Add FailedChildren; remove Start rule from Testing.TestEvents

parent 960f7342
Pipeline #9573 passed with stage
in 1 minute and 45 seconds
......@@ -48,8 +48,9 @@ from Text.JSON import generic JSONEncode, generic JSONDecode, :: JSONNode, :: Ma
* Reasons for failing a test.
*/
:: FailReason
= FailedAssertions [FailedAssertion] //* Assertions that caused the test to fail
| CounterExamples [CounterExample] //* Example values for which the test failed
= FailedAssertions [FailedAssertion] //* Assertions that caused the test to fail
| CounterExamples [CounterExample] //* Example values for which the test failed
| FailedChildren [(String, FailReason)] //* Subtests failed; the tuples are of name and failing reason
/**
* A counter-example to a test.
......
......@@ -118,5 +118,3 @@ where
derive JSONEncode FailReason, CounterExample
derive JSONDecode FailReason, CounterExample
Start = toString (toJSON {name="", message="", event=Failed (CounterExamples [{counterExample=JSONNull, failedAssertions=[ExpectedRelation (JSONInt 1) Eq (JSONInt 2)]}])})
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