Module antithesis_sdk::assert

source ·
Expand description

The assert module enables defining test properties about your program or workload.

The constant LOCAL_OUTPUT is associated with local logging, which is one of the local execution modes.

Each macro/function in this module takes a parameter called message, which is a string literal identifier used to aggregate assertions. Antithesis generates one test property per unique message This test property will be named message in the triage report.

Each macro/function also takes a parameter called details, which is a key-value map of optional additional information provided by the user to add context for assertion failures. The information that is logged will appear in the logs section of a triage report. Normally the values in details are evaluated at runtime.



  • This is a low-level method designed to be used by third-party frameworks. Regular users of the assert package should not call it.