By: Tom Sydney Kerckhove <syd@cs-syd.eu>
Trim DisableMutation annotations now killed by the new mutation engine
The mutation engine auto-kills mutations that produce non-exhaustive
patterns (and prior testing work also tightened coverage), so the
RemoveCase annotations on distribute, fraction, and fromDouble's EQ
branches are now redundant, along with fromDouble's ConstBool/Cmp on
its exponent shortcut. Drop them and their justifications.
Only one disabled mutation remains: the MaybeOp on
QuantisationFactor.fromDecimalLiteral's EQ branch, where the case arm
is provably unreachable but the MaybeOp mutation does not change
pattern exhaustiveness so it cannot be auto-killed. Narrow that
annotation from {RemoveCase, MaybeOp} to just MaybeOp.
Mutation count: 374 -> 387 killed; 0 survived; 0 uncovered.
| Time to Start | Worker time | Duration | Time to finish | |
| Config | 0s | 37s | 37s | 38s |
| Eval | 38s | 2m17s | 2m17s | 2m55s |
| Build | 2m11s | 24m40s | 2h09m34s | 2h11m46s |
| Test | - | - | - | - |
| Deploy | - | - | - | - |
| Suite | 0s | 27m34s | 2h11m45s | 2h11m46s |