From d70475efd85ead4f60e5cb6ff996000f77c5a4df Mon Sep 17 00:00:00 2001 From: Metbcy Date: Mon, 1 Jun 2026 19:57:30 +0000 Subject: [PATCH] docs(mutation-testing): record vex round-2 clean pass (#35) 97 mutants tested, 81 caught, 16 unviable, 0 surviving. No test additions required; VEX module's existing unit tests cover the mutation surface. --- docs/src/internals/mutation-testing.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/docs/src/internals/mutation-testing.md b/docs/src/internals/mutation-testing.md index 02020a8..0522311 100644 --- a/docs/src/internals/mutation-testing.md +++ b/docs/src/internals/mutation-testing.md @@ -30,3 +30,15 @@ Each entry: `module — caught / unviable / surviving / total — date`. The tar No test additions required. The diff engine's existing unit and property tests fully cover the mutation surface. The three unviable mutants were mutations that produced code that does not compile — they're excluded from the surviving denominator because the compiler itself rejects them before the test suite runs. + +### `src/vex/**` — v0.9.9 round 2 + +- **Total mutants:** 97 +- **Caught:** 81 +- **Unviable:** 16 +- **Surviving:** 0 +- **Surviving rate:** 0 / 81 = **0.0%** +- Date: 2026-06-01 + +No test additions required. The VEX module's existing unit tests fully cover the mutation surface. Note the high unviable count (16): VEX has a lot of trait-object plumbing and serde glue where mutations produce code that does not compile (correctly excluded from the surviving-rate denominator). +