Understand the code that runs before main() is called.

Your code should be able to execute deterministically on a simulator designed to amplify randomness, create chaos, and inject failures. This approach can expose hidden bugs that you can then reproduce deterministically until they're fixed. By surviving such chaos, your system will be more robust and ready for real-world deployment.

I am not the author. You could request this in the comments section on the page.

Stallone is another option for Rust: https://github.com/GaloisInc/balboa/blob/main/stallone/log/s...