[kevingadd]

sqlite has extremely thorough test coverage with something approaching 100% branch coverage and such wide production usage it's basically proven that a lot of this stuff works.

[nn3]

Most (all?) of the production usage probably doesn't enable the assert though.