# 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 4724ddcae41fb2b83ddd860c5a2af55e5da54b5bf7a344cb018b37c7e1566921 # shrinks to v4 = Ipv4Header { dscp: Ipv4Dscp(19), ecn: Ipv4Ecn(3), total_len: 1385, identification: 26272, dont_fragment: true, more_fragments: true, fragment_offset: IpFragOffset(3574), time_to_live: 83, protocol: 36 (XTP - XTP), header_checksum: 50303, source: [0, 0, 0, 0], destination: [0, 99, 43, 14], options: [] }, v4_exts = Ipv4Extensions { auth: Some(IpAuthHeader { next_header: 76 (BR-SAT-MON - Backroom SATNET Monitoring), spi: 1975662188, sequence_number: 2239760872, raw_icv: [149, 42, 236, 203, 206, 127, 250, 146, 34, 212, 83, 211, 63, 59, 197, 24, 243, 51, 121, 242, 6, 58, 30, 213, 7, 57, 47, 36, 199, 171, 193, 6, 89, 77, 70, 234, 57, 24, 120, 65, 135, 210, 111, 93, 149, 12, 90, 25, 124, 10, 245, 131, 62, 171, 96, 34, 203, 3, 160, 81, 254, 240, 254, 121, 254, 166, 98, 226, 130, 81, 168, 50, 161, 31, 25, 221, 10, 132, 169, 126, 112, 215, 19, 208, 137, 123, 159, 114, 89, 236, 32, 170, 235, 242, 221, 105, 65, 252, 238, 35, 105, 238, 161, 70, 142, 180, 57, 148, 244, 140, 104, 255, 177, 102, 155, 81, 213, 241, 22, 10, 5, 54, 203, 135, 207, 222, 91, 252, 61, 224, 149, 197, 64, 231, 27, 57, 150, 234, 154, 115, 140, 168, 140, 31, 59, 210, 57, 254, 36, 118, 160, 123, 119, 199, 70, 161, 248, 63, 162, 143, 120, 67, 243, 19, 79, 78, 78, 94, 39, 253, 0, 124, 31, 45, 59, 11, 216, 187, 215, 37, 66, 3, 112, 93, 255, 226, 81, 22, 21, 220, 156, 47, 164, 95, 63, 99, 46, 166, 247, 15, 23, 43, 228, 1, 47, 135, 102, 241, 42, 178, 76, 53, 197, 143, 7, 121, 248, 233, 224, 149, 141, 145, 115, 47, 179, 104, 98, 53, 19, 14, 92, 231, 140, 61, 246, 100, 42, 224, 94, 104, 46, 243, 142, 216, 127, 188, 31, 173, 77, 3, 157, 233, 65, 211, 225, 98, 158, 34, 119, 76, 199, 167, 21, 109, 115, 99, 87, 164, 91, 144, 224, 55, 172, 148, 163, 166, 121, 233, 160, 65, 142, 67, 112, 230, 204, 3, 162, 29, 163, 179, 237, 30, 119, 180, 106, 15, 60, 157, 182, 123, 189, 110, 212, 146, 211, 4, 58, 180, 27, 112, 244, 167, 181, 233, 154, 220, 68, 164, 102, 140, 207, 135, 65, 151, 126, 56, 220, 203, 118, 86, 197, 146, 22, 182, 200, 181, 47, 97, 182, 93, 123, 99, 51, 158, 179, 40, 108, 227, 127, 3, 41, 164, 202, 5, 42, 170, 158, 245, 128, 238, 255, 158, 167, 162, 61, 6, 142, 212, 122, 151, 208, 143, 15, 206, 154, 28, 114, 156, 174, 219, 216, 73, 239, 53, 217, 137, 248, 106, 44, 50, 217, 69, 54, 57, 41, 61, 193, 155, 57, 232, 4, 184, 22, 129, 60, 109, 110, 140, 120, 178, 5, 167, 183, 47, 237, 140, 249, 134, 181, 14, 235, 43, 80, 150, 126, 121, 9, 63, 20, 109, 166, 47, 105, 195, 125, 225, 148, 127, 150, 211, 161, 244, 238, 216, 193, 215, 194, 7, 162, 70, 39, 108, 178, 6, 16, 166, 254, 18, 22, 180, 44, 128, 134, 254, 29, 122, 254, 152, 25, 154, 248, 115, 234, 137, 106, 205, 118, 38, 25, 203, 145, 5, 163, 45, 102, 68, 211, 71, 66, 135, 40, 77, 177, 249, 215, 23, 186, 8, 226, 173, 126, 212, 107, 192, 158, 234, 155, 41, 152, 107, 171, 7, 79, 71, 46, 213, 83, 41, 168, 85, 157, 143, 242, 43, 169, 151, 76, 151, 115, 30, 231, 137, 28, 194, 167, 73, 35, 79, 250, 91, 17, 148, 219, 208, 42, 101, 175, 72, 241, 236, 209, 241, 106, 233, 91, 184, 153, 95, 100, 41, 150, 56, 251, 179, 203, 78, 155, 86, 50, 143, 78, 224, 16, 30, 129, 212, 125, 244, 214, 178, 23, 151, 166, 178, 51, 121, 106, 118, 6, 71, 215, 222, 233, 95, 234, 17, 67, 69, 200, 213, 248, 81, 147, 169, 197, 195, 227, 48, 131, 136, 189, 87, 189, 95, 76, 209, 20, 110, 222, 233, 255, 59, 60, 253, 100, 166, 188, 119, 103, 239, 74, 137, 55, 200, 76, 69, 157, 97, 141, 133, 27, 183, 148, 70, 189, 228, 200, 87, 38, 211, 244, 63, 246, 166, 179, 88, 59, 44, 187, 36, 167, 16, 98, 57, 136, 0, 39, 253, 169, 81, 45, 193, 218, 217, 125, 115, 124, 27, 48, 94, 254, 99, 227, 50, 248, 159, 206, 244, 239, 51, 210, 161, 206, 74, 38, 64, 15, 93, 90, 197, 76, 232, 238, 98, 68, 177, 29, 115, 232, 74, 110, 163, 93, 10, 197, 237, 31, 16, 122, 23, 133, 152, 245, 131, 255, 27, 135, 115, 22, 27, 228, 175, 107, 18, 106, 179, 166, 58, 50, 10, 69, 125, 138, 49, 50, 111, 206, 118, 15, 83, 236, 199, 65, 100, 195, 91, 124, 155, 2, 101, 239, 227, 146, 16, 254, 75, 228, 149, 108, 67, 195, 194, 140, 187, 160, 213, 109, 141, 11, 184, 234, 96, 99, 45, 0, 31, 17, 138, 237, 0, 189, 64, 5, 51, 239, 23, 154, 251, 243, 83, 157, 200, 210, 31, 33, 102, 101, 107, 103, 60, 184, 240, 168, 74, 16, 22, 158, 84, 167, 232, 15, 55, 216, 217, 159, 250, 23, 50, 4, 44, 24, 243, 188, 231, 18, 183] }) }