Their founder guy says[1] they found some other bugs while doing this that they will report soon, so if that is true, seems more plausibly like a pretty generic thing.
Looking forward to seeing the other bugs they found.
Looking forward to seeing the other bugs they found.
I'd be interested in seeing what the SQLite people have to say about them if/when they are submitted upstream
Which says they made two commits to make instrumentation work. Also, no fixes (which seems reasonable to me; need to figure out what's wrong first)
Presumably any bugs found are being sent upstream to fix.