Native boundary: The location field holds the native absolute path of the
file as resolved, so it carries backslashes on Windows.
Evidence
contracts/common.md#principled-implementation An execution records the function name, its file, the returned value, the error or null, and the start and completion instants, which is what a listener needs to report a test.
Evidence
contracts/common.md#clear-and-simple-design A flat record with no behavior.
Evidence
contracts/common.md#prohibited-implementation-shortcuts Every field is measured by the executor.
Evidence
contracts/common.md#meaningful-documentation Each field documents its meaning, and the two time fields state that they hold ISO 8601 strings.
Execution of a test function.
Native boundary: The location field holds the native absolute path of the file as resolved, so it carries backslashes on Windows.
Evidence
contracts/common.md#principled-implementation An execution records the function name, its file, the returned value, the error or
null, and the start and completion instants, which is what a listener needs to report a test.Evidence
contracts/common.md#clear-and-simple-design A flat record with no behavior.
Evidence
contracts/common.md#prohibited-implementation-shortcuts Every field is measured by the executor.
Evidence
contracts/common.md#meaningful-documentation Each field documents its meaning, and the two time fields state that they hold ISO 8601 strings.