Oskar Wickström: How Antithesis Found and Explained a Bombadil Race Condition
Disclosure: I’m the original author and lead for the Bombadil project at Antithesis. Carlos Catala, interning at Antithesis and working on testing our webapps, found a strange crash while I was out camping. The tests he works on runs Antithesis’ webapp inside Antithesis and explores it using Bombadil. That surfaced a particular sequence of events leading up to the following crash (logs are simplified for readability): state machine error: unhandled transition: Running(10) + ActionAccepted(Click("Filters")) What does this mean? To understand it, we need to back up a little. The heart of the…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.