# 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 97770562c27d77b6712b809b566ffe400df2b2ca3046e643e5f2166090f4a327 # shrinks to ipv4_header = Ipv4Header { ihl: 7, differentiated_services_code_point: 0, explicit_congestion_notification: 0, payload_len: 0, identification: 0, dont_fragment: false, more_fragments: false, fragments_offset: IpFragOffset(0), time_to_live: 0, protocol: 68 (any distributed file system), header_checksum: 0, source: [0, 0, 0, 0], destination: [0, 0, 0, 0], options: [0, 0, 0, 0, 0, 0, 0, 0] }, ipv4_exts = Ipv4Extensions { auth: None }, ipv6_header = Ipv6Header { traffic_class: 22, flow_label: 395206, payload_length: 37958, next_header: 172, hop_limit: 137, source: [99, 186, 12, 226, 117, 70, 74, 128, 47, 61, 103, 116, 125, 57, 68, 219], destination: [98, 36, 139, 184, 238, 110, 147, 161, 222, 44, 184, 124, 31, 106, 87, 248] }, mut ipv6_exts = Ipv6Extensions { hop_by_hop_options: None, destination_options: None, routing: None, fragment: Some(Ipv6FragmentHeader { next_header: 51 (AH - Authentication Header), fragment_offset: IpFragOffset(3576), more_fragments: false, identification: 1363142016 }), auth: Some(IpAuthHeader { next_header: 17 (UDP - User Datagram), spi: 1791610029, sequence_number: 2584472886, raw_icv: [7, 228, 240, 72, 15, 159, 71, 243, 221, 88, 254, 85, 113, 158, 208, 119, 138, 203, 182, 77, 92, 141, 251, 112, 9, 236, 219, 62, 192, 216, 161, 123, 217, 224, 41, 71, 237, 94, 1, 168, 60, 169, 86, 194, 107, 100, 14, 14, 216, 69, 195, 15, 26, 202, 77, 165, 218, 96, 70, 196, 205, 188, 187, 22, 118, 245, 83, 55, 19, 84, 36, 109, 57, 159, 76, 130, 254, 218, 187, 15, 47, 25, 146, 206, 196, 30, 109, 191, 120, 59, 67, 90, 203, 164, 2, 89, 23, 70, 31, 117, 83, 183, 66, 100, 71, 159, 205, 94, 88, 228, 189, 28, 71, 187, 44, 122, 166, 87, 26, 203, 191, 13, 205, 81, 3, 195, 92, 205, 71, 152, 182, 219, 223, 44, 135, 213, 153, 71, 3, 156, 71, 101, 176, 142, 8, 51, 101, 88, 147, 0, 198, 251, 50, 170, 117, 197, 39, 183, 212, 96, 213, 114, 128, 23, 99, 182, 244, 184, 141, 178, 127, 231, 219, 255, 135, 224, 53, 223, 160, 249, 204, 18, 49, 17, 167, 182, 34, 238, 124, 231, 68, 235, 124, 216, 57, 194, 68, 93, 109, 7, 166, 144, 41, 33, 118, 246, 195, 215, 237, 108, 241, 45, 37, 45, 46, 245, 234, 14, 153, 180, 4, 67, 225, 223, 19, 111, 164, 165, 86, 221, 202, 231, 73, 24, 34, 227, 36, 57, 164, 167, 169, 39, 171, 13, 76, 109, 191, 249, 199, 3, 239, 109, 230, 59, 142, 234, 28, 2, 145, 43, 57, 212, 46, 71, 167, 171, 195, 237, 52, 106, 173, 173, 128, 143, 207, 75, 171, 183, 130, 79, 107, 218, 3, 174, 90, 173, 137, 182, 64, 85, 227, 103, 149, 209, 113, 20, 191, 39, 124, 223, 204, 112, 204, 242, 239, 100, 156, 214, 5, 164, 125, 77, 196, 79, 209, 199, 11, 20, 185, 242, 42, 203, 168, 236, 99, 79, 112, 107, 2, 166, 74, 213, 92, 175, 209, 72, 117, 85, 1, 155, 116, 53, 191, 107] }) }