SQLite is ~156,000 lines of C. Its own documentation places it among the top five most deployed software modules of any type, with an estimated one trillion active databases worldwide. It has 100% branch coverage and 100% MC/DC (Modified Condition/Decision Coverage the standard required for Level A aviation software under DO-178C). Its test suite is 590 times larger than the library. MC/DC does not just check that every branch is covered. but proves that every individual expression independently affects the outcome. That’s the difference between “the tests pass” and “the tests prove correctness.” The reimplementation has neither metric.
Continue reading...
，更多细节参见新收录的资料
rather than bytes.
Different mediums to publish, to write on, to take notes are out there, when to use which?
Зеленский сообщил Трампу о начале третьей мировой войны и расстроился08:57