# 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 ffd752a46c404037c472aa01b1a5c7f98b20118e42015c09b100a9b9b64d8696 # shrinks to ip_header = Ipv6Header { traffic_class: 217, flow_label: Ipv6FlowLabel(981108), payload_length: 16434, next_header: 2 (IGMP - Internet Group Management), hop_limit: 189, source: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], destination: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 137, 251, 239] }, icmp_type = Unknown { type_u8: 244, code_u8: 110, bytes5to8: [15, 190, 118, 169] }, start_checksum = 18835, bad_len = 5027843371569756216, payload = [98, 191, 45, 21, 55, 95, 238, 218, 192, 43, 50, 110, 99, 18, 104, 210, 39, 176, 84, 62, 205, 10, 202, 59, 83, 156, 164, 3, 99, 232, 248, 212, 137, 55, 198, 189, 93, 54, 126, 216, 216, 112, 234, 255, 79, 53, 65, 252, 183, 175, 168, 92, 8, 21]
cc 2765acd850616df4c2fce5d30cb2eba2465db3359ca143e22a1c34f37ce9f14a # shrinks to ip_header = Ipv6Header { traffic_class: 127, flow_label: Ipv6FlowLabel(773565), payload_length: 40939, next_header: 8 (EGP - Exterior Gateway Protocol), hop_limit: 223, source: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], destination: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 23, 65] }, icmp_type = Unknown { type_u8: 181, code_u8: 54, bytes5to8: [152, 109, 154, 4] }, bad_len = 17253463390686651414, payload = [4, 100, 149, 243, 177, 68, 90, 66, 162, 111, 235, 43, 130, 47, 18, 75, 75, 244, 74, 42, 208, 50, 192, 194, 35, 174, 201, 34, 99, 203, 50, 1, 87, 66, 238, 121, 228, 230, 15, 124, 26, 66, 167, 19, 73, 173, 172, 196, 20, 53, 244, 164, 169, 155, 204, 201, 220, 171, 185, 245, 156, 140, 53, 193, 238, 220, 37, 132, 104, 228, 195, 184, 205, 24, 188, 69, 169, 199, 36, 123, 24, 249, 34, 194, 54, 48, 43, 137, 108, 171, 0, 209, 145, 37, 196, 27, 231, 131, 142, 238, 222, 27, 209, 103, 206, 7, 165, 230, 242, 110, 189, 42, 151, 105, 173, 14, 172, 89, 234, 33, 140, 8, 227, 254, 190, 211, 211, 128, 162, 230, 80, 229, 58, 113, 66, 122, 27, 159, 17, 52, 72, 169, 113, 254, 142, 123, 67, 160, 194, 231, 166, 17, 33, 158, 224, 99, 160, 134, 141, 4, 134, 208, 213, 67, 26, 171, 252, 238, 112, 210, 12, 218, 99, 84, 208, 190, 251, 77, 116, 214, 232, 41, 183, 78, 23, 21, 178, 76, 206, 167, 127, 129, 62, 161, 114, 17, 201, 126, 68, 126, 145, 66, 100, 65, 94, 88, 184, 100, 12, 93, 73, 231, 120, 225, 255, 155, 80, 109, 77, 43, 164, 180, 121, 91, 118, 48, 226, 90, 25, 181, 17, 175, 123, 132, 65, 208, 171, 15, 72, 75, 79, 69, 160, 100, 160, 49, 211, 126, 251, 136, 191, 204, 64, 63, 49, 204, 72, 115, 75, 141, 191, 187, 13, 159, 178, 133, 6, 236, 173, 230, 42, 255, 133, 22, 35, 159, 19, 27, 89, 17, 233, 91, 217, 223, 247, 230, 26, 67, 246, 79, 74, 147, 68, 206, 203, 203, 9, 228, 108, 239, 208, 221, 52, 15, 126, 69, 153, 81, 45, 139, 203, 103, 204, 226, 214, 203, 122, 98, 18, 245, 131, 33, 89, 204, 187, 23, 39, 30, 158, 16, 223, 254, 162, 105, 71, 101, 156, 24, 28, 79, 158, 90, 28, 127, 130, 238, 26, 81, 225, 162, 132, 125]