Commit f3786149 authored by Camil Staps's avatar Camil Staps 🐧

Add OtherFailReason; add documentation about specialised JSON in Testing.TestEvents

parent 5064ea04
Pipeline #9592 passed with stage
in 2 minutes and 3 seconds
......@@ -51,6 +51,7 @@ from Text.JSON import generic JSONEncode, generic JSONDecode, :: JSONNode, :: Ma
= 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
| OtherFailReason String //* Another reason
/**
* A counter-example to a test.
......@@ -62,12 +63,16 @@ from Text.JSON import generic JSONEncode, generic JSONDecode, :: JSONNode, :: Ma
/**
* A failed test assertion.
* Specialised JSONEncode/JSONDecode instances are used for this type, which
* have to be adapted in case the type definition is changed!
*/
:: FailedAssertion
= ExpectedRelation JSONNode Relation JSONNode //* A relation test failed
/**
* A relation between two values.
* Specialised JSONEncode/JSONDecode instances are used for this type, which
* have to be adapted in case the type definition is changed!
*/
:: Relation
= Eq //* Equality
......
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