Next: (veritas prelude), Previous: (veritas mock), Up: API
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Undocumented macro.
Return the result of a test named name holding results.
file and line are where the test was declared, when that is known, duration is how many seconds it took, and attempts is how many times the test ran - more than one when a retry was needed. They are what a report needs to place a test and time it: the JUnit document writes them out, and a CI annotation uses the file and line to attach a failure to the right place in the source.
This record type has the following fields:
indexoutputnamesuccessfulThis record type has the following fields:
nameresultsThis record type has the following fields:
nameresultsfilelinedurationattemptsThis record type has the following fields:
resultoutputThis record type has the following fields:
nametest-resultsoutputThis record type has the following fields:
indexoutputresultsNext: (veritas prelude), Previous: (veritas mock), Up: API