{include:preamble}
TARGET: {op_name}
PROPERTY: kill mutation {mutation_description}
ORACLE: {oracle_chosen_from_hierarchy}
The mutation gate reports that the following mutation survives all current tests:
{mutation_details}
Write a test that fails when the above mutation is applied to {op_name}'s source.
REQUIRED:
- The test MUST fail when the mutation is applied.
- The test MUST pass on unmutated source.
- The test MUST be specific to the mutated behavior.
FORBIDDEN:
- DO NOT write a test that passes regardless of the mutation.
- DO NOT test unrelated functionality.
- DO NOT use proptest or random inputs.