logoalt Hacker News

messetoday at 5:41 AM3 repliesview on HN

> TCL test harness. C SQLite's test suite is driven by ~90,000+ lines of TCL scripts deeply intertwined with the C API. These cannot be meaningfully ported. Instead, FrankenSQLite uses native Rust #[test] modules, proptest for property-based testing, a conformance harness comparing SQL output against C SQLite golden files, and asupersync's lab reactor for deterministic concurrency tests.

If you're not running against the SQLite test suite, then you haven't written a viable SQLite replacement.


Replies

manmaltoday at 5:57 AM

I thought I read somewhere that their full test suite is not publicly available?

show 1 reply
gigatexaltoday at 7:13 AM

This and this needs Jepsen testing.

The value of SQLite is how robust it is and that’s because of the rigorous test suite.

littlestymaartoday at 5:57 AM

Isn't that test suite private though?

show 1 reply