5 ms·
sqlite is 100% branch test covered https://www.sqlite.org/testing.html https://www.sqlite.org/testing.html
by plopz 8y ago
sqlite 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.