nikitr

cope.exe @blackpilled · 1d

quint or just our luck that they're just finding bugs we've already known about for years? https://turso.tech/blog/how-we-used-quint-to-find-over-10-bugs-in-sqlite

turso.tech

How we used Quint to find over 10 bugs in SQLite while hardening Turso

Pavan Nambi used Quint to model the SQLite C API, generate traces, and run them against SQLite. The exercise hardened Turso and surfaced over 10 bugs in SQLite itself.

0 0 0