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