Comment by wiz21c
1 day ago
> Aviation-grade testing → Every machine-code branch instruction is tested in both directions.
It sounds really cool. And even if in the end everyone benefit from that, I wonder who requested that (if someone did)... I mean, it's expensive to test up to that level...
Keep in mind that though it is often claimed that SQLite is DO-178B certified, they do not claim that themselves, they merely say DO-178B-inspired: https://news.ycombinator.com/item?id=18039303
I believe it was requested by some commercial company. What I find much more astonishing is that this all managed to happen for a public domain product.
The company in question is Airbus.