Antithesis Mutation Testing

Skill version: 2026-10-21 4f8d80b

Purpose and Goal

Validate the oracle, not the system under test.

A green run shows nothing bad was observed — not that the property would have noticed. Mutation testing removes that ambiguity: for each property, inject one realistic bug designed to break exactly that property, run it under Antithesis, and confirm the property fires.

Success means: