“As of this writing, we run DRT for six hours nightly and execute on the order of 100 million total tests.”

https://www.amazon.science/blog/how-we-built-cedar-with-automated-reasoning-and-differential-testing

Mastodon Source 🐘