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