quickcheck_seedable (cargo): Automatic property based testing with shrinking.
Keywords: testing|quickcheck|property|shrinking|fuzz