Verified Commit 300facfc authored by Camil Staps's avatar Camil Staps 🚀

Export JSON instances for TestLocation

parent 5331a881
Pipeline #28193 passed with stage
in 2 minutes and 54 seconds
......@@ -97,8 +97,8 @@ from Text.GenJSON import generic JSONEncode, generic JSONDecode, :: JSONNode, ::
| Ge //* Greater than or equal to
| Other !String //* Custom relation
derive JSONEncode TestEvent, StartEvent, EndEvent, FailReason, CounterExample, FailedAssertion, Relation
derive JSONDecode TestEvent, StartEvent, EndEvent, FailReason, CounterExample, FailedAssertion, Relation
derive JSONEncode TestEvent, StartEvent, EndEvent, TestLocation, FailReason, CounterExample, FailedAssertion, Relation
derive JSONDecode TestEvent, StartEvent, EndEvent, TestLocation, FailReason, CounterExample, FailedAssertion, Relation
instance toString Expression
instance toString Relation
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