100% branch coverage testing came up on another submission,
Why Is SQLite Coded In C (
https://news.ycombinator.com/item?id=28278859 ). This paper discusses the benefits and drawbacks of that requirement and describes how it's a European Cooperation for Space Standardization (ECSS) standard, which I guess could be a reason why it's followed by SQLite, and thought I'd share.