Model-based Rust state machine testing. Inspired by Hughes, Testing the Hard Stuff and Staying Sane. - View it on GitHub