readysettech/proptest-stateful

Library for building stateful property tests using the proptest crate