Hunting a 16-year-old SQLite bug with TLA+: is dqlite affected?

This article was written by Marco Manino and Alberto Carretero, dqlite team at Canonical . Anatomy of a SQLite bug This month SQLite published a new version with a fix to a long-standing bug in the way that the Write Ahead Log (WAL) is checkpointed that leads to the corruption of the database. The important aspect of this bug is not its real-world impact (which is very low) but how long it has been in the repository, how difficult it was to find it, and how difficult it was to reproduce it.