f4e3b170

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Restructure mutation example to assert full coverage in CI

- Move all test specs from sydtest-mutation-example to sydtest-mutation-example-gen
  so the example library has no test component and can be safely instrumented
- Use sydtest-discover in sydtest-mutation-example-gen to prevent bypassing sydTest
- Rewrite DoLib to use Writer so it's testable with exact assertions
- Add DisableMutations annotation to UntestedLib and constBoolDisabledPolymorphic
- Change constBoolDisabledPolymorphic from partial (ConstBool only) to full disable
  so that removing the AbsBinds fix in the plugin causes uncovered mutations,
  failing the mutation check via assertNoneUncovered
- Add assertNoneUncovered parameter (default true) to assertMutationScore/mutationCheck
- Change mutation-checks.nix to use .check for the example (not .report)
  so nix flake check fails if any mutations survive or are uncovered
- Use libraries + tests split so only the library is instrumented, not gen's test suite

Timeline