proptest-state-machine (cargo): State machine based testing support for proptest. 
Keywords: testing|quickcheck|property|fuzz|state-machine