Toots from 2023-05-13
“As of this writing, we run DRT for six hours nightly and execute on the order of 100 million t…
“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