proptest-stateful (cargo): Library for building stateful property tests using the proptest crate
Keywords: quickcheck|property|testing|stateful|proptest