Generates targeted counterexamples for surviving wrong solution classes and closes test-suite blind spots through iterative kill-and-regenerate loops.
Install
npx skillscat add nmkdeveloper/prompt-cp-testgen/mutant-killer Install via the SkillsCat registry.
Mutant Killer
For each meaningful surviving wrong solution:
- Analyze the behavior on passed and failed tests.
- Infer the missing distinction.
- Construct a targeted candidate input.
- Validate it.
- Run reference/brute where applicable.
- Run the target wrong solution.
- Keep it if it kills the target and adds coverage.
Do not modify existing .in/.out artifacts manually.
Execution constraints
Run this skill as part of a single-agent, strictly serial workflow. Do not spawn subagents and do not execute multiple OJ tasks concurrently. Any executable work must use the agent-generated, OS-adapted protected toolchain with 1 GiB RAM and 1 second limits. Prefer C++ for executable components.
Universal and distributed killer search
The goal is not merely to maximize the number of mutants killed somewhere in the suite. Search for compact specialized inputs with strong discriminatory power.
Priorities:
- Find inputs where the verified reference is AC and every known wrong solution is non-AC.
- If impossible, find a small distributed hitting set that collectively defeats every meaningful wrong solution.
- Spread those tests across test IDs and relevant subtasks instead of clustering all killers at the end.
Accepted wrong-solution failure outcomes are WA, TLE, and RE. Any unexpected AC must trigger counterexample search.