4 ms·
Also, when you are aiming for full test coverage null dereferences will be caught during testing.
by nsajko 8y ago
Also, when you are aiming for full test coverage null dereferences will be caught during testing.
- adrianN 8y agoNobody does full path coverage, not even NASA.
- plopz 8y agosqlite is 100% branch test covered https://www.sqlite.org/testing.html https://www.sqlite.org/testing.html
- monocasa 8y agoFull path coverage is much more difficult than 100% branch coverage. It's next to impossible in any non trivial codebase that wasn't designed specifically for formal verification.