3 ms·I'm not sure formal verification would have helped here. A linter would have helped.by scottlocklin 9y agoI'm not sure formal verification would have helped here. A linter would have helped.