Limbo: A complete rewrite of SQLite in Rust

Re:Limbo: A complete rewrite of SQLite in Rust by fweimer on Tuesday December 10, 2024 @02:57PM (#42380755)

Bugs are fixed along with regression tests. Here's a recent example: https://www.sqlite.org/src/info/289daf6cee39625e

As far as I can see, these tests come with the same public domain dedication as the rest of the code.

You may be referring to the TH3 tests (https://sqlite.org/th3.html). The main goal (100% branch coverage, 100% MC/DC) would not be achievable for a Rust implementation (or at least an idiomatic Rust implementation …) because of the remaining dynamic run-time checks Rust requires for safety.

[ Parent | on HN ]

Re:Limbo: A complete rewrite of SQLite in Rust by pornel on Tuesday December 10, 2024 @08:02PM (#42383568)

sqlite also has some runtime checks that are expected to be always true or always false, and solves that by using a custom macro that removes these branches during branch coverage test.

The same would be possible in Rust. Everything that could panic has a non-panicking alternative, and you could conditionally insert `unreachable_unchecked()` to error handling branches to remove them. That wouldn't be most idiomatic, but SQLite's solution is also a custom one.

[ Parent | on HN ]