/proptest-state-machine-banking

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

Primary LanguageRust

This repository is not active