stacks-network/madhouse-rs

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

This repository is not active