# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc 6f6001ada6b4d98bfb2462ee2e32576a6c4f5c08c0a93c5d95887f861273cf88 # shrinks to input = _PropRatchetExpSearchFindsOnlyGreaterAndLessArgs { seed: [221, 54, 116, 160, 176, 65, 176, 63, 13, 40, 189, 202, 110, 210, 126, 173, 246, 170, 251, 22, 142, 122, 192, 194, 159, 185, 219, 112, 232, 66, 87, 145], jump: 1 }
cc cecd4dd38b08775691d01626390a752e1552ee077407ff1cfd78976fb8ff3651 # shrinks to input = _PropRatchetExpSearchFindsZeroArgs { seed: [93, 158, 191, 63, 126, 150, 51, 240, 53, 197, 162, 47, 118, 235, 250, 51, 162, 97, 78, 208, 165, 201, 187, 129, 55, 248, 50, 145, 127, 232, 143, 179], initial_jump_size: Small }
cc e9d227512daeb7b091120f82fd38e46268d5c37e4d2b902e4347f5461286efb3 # shrinks to input = _PropRatchetStepCountIsIncByMinusStepsArgs { seed: [222, 55, 26, 194, 65, 125, 161, 80, 93, 78, 249, 17, 235, 187, 181, 211, 244, 235, 135, 80, 72, 101, 101, 152, 62, 248, 48, 107, 155, 100, 54, 12], previous_steps: 0, additional_jumps: 65536 }
cc 76d72ad836c0779691de06d09bfd9ea32f70852a99e5c7c511933c48ae2cbea3 # shrinks to input = _TestRatchetAddSlowEqualsAddFastArgs { ratchet: Ratchet { salt: 0xEE307B034075C7.., large: 0x4179A7E6321F36.., medium: 0xDF634BE57AF338.., small: 0xCFC34C6B76AE48.., medium_counter: 163, small_counter: 87 }, jumps: 89257 }
cc 686868f986206e1900f886ee954a9d61c4aa4d1e9d0dd1619f93ede863458845 # shrinks to input = _TestRatchetAddSlowEqualsAddFastArgs { ratchet: Ratchet { salt: 0x4C9CAA5B5D8DFD.., large: 0x7E1A41A1A27CD1.., medium: 0x3AD852B894054E.., small: 0x95C392DB0442D2.., medium_counter: 163, small_counter: 0 }, jumps: 89344 }