6 ms·
very cool! does this work? can you describe the kinds of real bugs you've caught with this?
by css_apologist 6mo ago
very cool! does this work? can you describe the kinds of real bugs you've caught with this?
- owickstrom 6mo agoI'd say it does! Bombadil is very new but its predecessor has found complicated and very real bugs in my work projects, and in the paper we wrote about it, we found bugs in more than half of the TodoMVC example apps: https://arxiv.org/abs/2203.11532 https://arxiv.org/abs/2203.11532