3 ms·
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
by gamegoblin 2mo ago
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.
1. https://news.ycombinator.com/item?id=49278351 https://news.ycombinator.com/item?id=49278351
- biorach 2mo agolooks like the bug fixes are in individual commits here: https://github.com/sqlite/sqlite/compare/master...antithesishq:sqlite:3.51.2-instrumented https://github.com/sqlite/sqlite/compare/master...antithesis... I'd be interested in seeing what the SQLite people have to say about them if/when they are submitted upstream
- carlsverre 2mo agoThose are the commits from upstream that resolved the bug. Notice that most of them were committed by Dr. Richard Hipp himself.
- biorach 2mo agooh! damn! I did not notice that. That does answer my question.
- mook 2mo agoHmm, shouldn't the diff start at the tag? That is, it seems like it should be https://github.com/sqlite/sqlite/compare/version-3.51.2...antithesishq:sqlite:3.51.2-instrumented https://github.com/sqlite/sqlite/compare/version-3.51.2...an... 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.