https://antithesis.com/docs/using_antithesis/sdk/cpp/

Exercising their assertions (in both passing and failing senses) provides richer input for them to fuzz "better".

• Passing their assertion is better than passing a vanilla assertion because it gives them signal (it indicates more "interesting" behavior than just running any old code).
• Failing their assertion is better because they can categorize these, both in reports and for distinguishing "was that specific crash repaired" from "does it still crash" (for any old reason).

 
Estimated at 1-3 days of work to vendor/integrate their SDK.

It's a chance to give their fuzzer more signal. What it can find with that, who knows.