I think 100% machine code branch test coverage is legally required in some of the environments that SQLite targets. That is, there must be a test that exercises

I think 100% machine code branch test coverage is legally required in some of the environments that SQLite targets. That is, there must be a test that exercises both sides of every machine code branch instruction emitted in the final binary. Basically, every branch must have a justification for why it exists. I feel like that's not such a bad target for rust to aim for.