Rust's tokio has a project called loom as well which can do permutation testing of async code: https://github.com/tokio-rs/loom