It Told Me No: How Quint Helped Us Fix a Long-Standing Race Condition

The OpenHands team used Quint to debug a stubborn race condition. It told them their first fix wasn't good enough before they shipped it.