Assert that condition
is true every time this function is called, and that it is
called at least once. The corresponding test property will be viewable in the Antithesis SDK: Always
group of your triage report.
Assert that condition
is true every time this function is called. The corresponding test property will pass even if the assertion is never encountered.
This test property will be viewable in the Antithesis SDK: Always
group of your triage report.
Assert that a line of code is reached at least once.
The corresponding test property will pass if this macro is ever called. (If it is never called the test property will therefore fail.)
This test property will be viewable in the Antithesis SDK: Reachablity assertions
group.
Assert that condition
is true at least one time that this function was called.
(If the assertion is never encountered, the test property will therefore fail.)
This test property will be viewable in the Antithesis SDK: Sometimes
group.
Assert that a line of code is never reached.
The corresponding test property will fail if this macro is ever called.
(If it is never called the test property will therefore pass.)
This test property will be viewable in the Antithesis SDK: Reachablity assertions
group.