Re:Coming Soon: Machine-Checked Proofs in Everyday Development
by z3t4 on Sunday December 31, 2017 @02:44PM
(#16042402)
I want to clarify that the whole point of unit tests is to have 100% coverage, that all code paths are exercised by the tests. If you do unit testing and have code that is not covered it's either a bug or dead code that should be removed.
[ Parent
| on HN ]
There are no comments on this comment yet.