$ANTITHESIS_OUTPUT_DIR/sdk.jsonl.
You must emit JSONL messages. Each individual message must be a single line of JSON that terminates in a newline character. However, the examples show JSON messages spread across multiple lines purely for readability. This will not work in practice. Each message must be a single line.
Setup
Setup indicates to Antithesis that your system and workload are fully initialized. To use this functionality, have your program emit the following JSONL once startup is complete:details may be any JSON that you wish to log at startup time. If you do not want to record additional information, it may be set to null as above. Note that details must not terminate with a newline, because the entire message must ultimately be JSONL.
The following setup example logs additional information by setting details:
Event
Event indicates to Antithesis that a certain event has been reached. It provides greater information about the ordering of events during the course of testing in Antithesis. It is a JSONL message consisting of:- a single top-level field that is the event’s name, which points to
- Arbitrary JSON that contains any details you want to log. Note that these details must not contain any newlines except for the newline that terminates the message. The entire message must ultimately be JSONL.