3 ms·
If I understand you correctly, there is another test suite in addition to the one you can download freely?
by rathel 7y ago
If I understand you correctly, there is another test suite in addition to the one you can download freely?
- liability 7y agoThe TH3 test suite is proprietary: >"The TH3 test harness is a set of proprietary tests, written in C that provide 100% branch test coverage (and 100% MC/DC test coverage) to the core SQLite library. The TH3 tests are designed to run on embedded and specialized platforms that would not easily support TCL or other workstation services. TH3 tests use only the published SQLite interfaces. TH3 consists of about 69.4 MB or 948.1 KSLOC of C code implementing 44753 distinct test cases. TH3 tests are heavily parameterized, though, so a full-coverage test runs about 1.7 million different test instances. The cases that provide 100% branch test coverage constitute a subset of the total TH3 test suite. A soak test prior to release does hundreds of millions of tests. Additional information on TH3 is available separately." https://sqlite.org/testing.html https://sqlite.org/testing.html
- Tomte 7y ago> The TH3 test harness is a set of proprietary tests https://www.sqlite.org/testing.html#harnesses https://www.sqlite.org/testing.html#harnesses