thomaseizinger/proptest-state-machine-banking
An example application to showcase how to use property-based state machine testing with banking as the example domain.
Rust
An example application to showcase how to use property-based state machine testing with banking as the example domain.
Rust