40 ms·

I'm definitely guilty of not unit testing my error paths robustly. Line-by-line code coverage reports showed pretty consistent gaps, especially when operations

• candiodari 8y ago
  Unit tests are just example-based tests. They cannot test the code does nothing wrong in any case, they just test that in 1 specific case, it works. Only proof-based methods can prove code works under every case. If you're interested, see Coq [1] (including the first guaranteed-correct C compiler) or Isabelle. [1] https://en.wikipedia.org/wiki/Coq https://en.wikipedia.org/wiki/Coq