Bolero test failure - net crate #1249
Description
A bolero test in the CI failed
job: https://github.com/githedgehog/dataplane/actions/runs/21437734358/job/61732575942?pr=1245
BOLERO_RANDOM_SEED=103042563370305146627834050949438118463
Test output (click to unfold)
Nextest run ID 3e905ee9-9027-4569-ac7c-04532c995a4e with nextest profile: default
Starting 443 tests across 34 binaries
output ───
running 1 test
test headers::test::parse_back ...run time: 1.167537186s | iterations/s: 34563 | rng inputs: 40354 | exit reason: test failure
======================== Test Failure ========================
BOLERO_RANDOM_SEED=103042563370305146627834050949438118463
Input:
Headers {
eth: Some(
Eth(
Ethernet2Header {
source: [
64,
234,
167,
112,
88,
151,
],
destination: [
18,
117,
162,
244,
187,
203,
],
ether_type: 0x0800 (Internet Protocol version 4 (IPv4)),
},
),
),
vlan: [],
net: Some(
Ipv4(
Ipv4(
Ipv4Header {
dscp: IpDscp(
37,
),
ecn: CongestionExperienced,
total_len: 19703,
identification: 58506,
dont_fragment: false,
more_fragments: true,
fragment_offset: IpFragOffset(
1843,
),
time_to_live: 121,
protocol: 51 (AH - Authentication Header),
header_checksum: 62533,
source: [
77,
188,
189,
19,
],
destination: [
246,
128,
153,
225,
],
options: [
91,
156,
79,
90,
32,
126,
60,
233,
27,
3,
191,
42,
84,
255,
73,
234,
148,
14,
89,
168,
246,
247,
52,
237,
],
},
),
),
),
net_ext: [
IpAuth(
IpAuth(
IpAuthHeader {
next_header: 18 (MUX - Multiplexing),
spi: 1866768502,
sequence_number: 514712154,
raw_icv: [
244,
144,
80,
134,
177,
189,
151,
247,
171,
4,
121,
81,
10,
214,
156,
107,
150,
1,
200,
181,
247,
197,
8,
231,
63,
63,
195,
208,
49,
64,
27,
219,
75,
36,
172,
177,
46,
120,
201,
17,
154,
0,
193,
5,
233,
80,
79,
116,
70,
253,
176,
24,
44,
118,
238,
81,
11,
88,
169,
72,
125,
209,
9,
37,
214,
167,
200,
175,
49,
71,
201,
244,
116,
231,
3,
189,
12,
185,
219,
63,
165,
242,
108,
155,
5,
234,
146,
133,
160,
132,
160,
150,
35,
86,
55,
166,
78,
111,
78,
110,
201,
131,
83,
107,
211,
3,
208,
162,
109,
130,
87,
22,
10,
86,
134,
157,
38,
203,
188,
90,
30,
51,
189,
54,
99,
195,
174,
54,
104,
11,
196,
219,
117,
197,
162,
122,
4,
255,
172,
2,
246,
144,
148,
160,
42,
164,
106,
0,
18,
144,
218,
162,
66,
63,
235,
152,
37,
246,
70,
123,
168,
186,
9,
10,
232,
186,
41,
189,
26,
27,
33,
178,
177,
8,
211,
26,
150,
251,
248,
43,
178,
110,
130,
12,
204,
242,
198,
41,
123,
242,
160,
119,
156,
97,
226,
72,
27,
211,
24,
223,
178,
149,
54,
241,
22,
6,
85,
84,
134,
77,
28,
19,
111,
252,
125,
86,
115,
204,
59,
147,
242,
85,
42,
229,
9,
79,
58,
135,
26,
131,
17,
66,
223,
117,
133,
144,
4,
235,
163,
4,
91,
85,
94,
137,
17,
39,
189,
44,
240,
79,
115,
226,
210,
145,
190,
17,
64,
162,
1,
171,
178,
23,
234,
178,
35,
123,
93,
115,
118,
186,
183,
172,
40,
66,
117,
67,
59,
248,
20,
249,
99,
214,
229,
142,
119,
226,
247,
16,
72,
159,
89,
14,
196,
47,
252,
238,
11,
46,
206,
54,
59,
210,
65,
250,
116,
40,
128,
240,
104,
3,
86,
175,
45,
4,
246,
251,
168,
240,
17,
21,
210,
106,
180,
237,
168,
92,
151,
87,
200,
49,
126,
39,
161,
47,
70,
214,
202,
44,
224,
206,
252,
219,
113,
89,
55,
13,
58,
51,
199,
206,
255,
55,
241,
163,
128,
138,
107,
39,
158,
87,
240,
213,
95,
190,
179,
41,
118,
180,
169,
136,
102,
165,
198,
235,
173,
216,
165,
174,
126,
158,
65,
41,
55,
255,
49,
47,
43,
235,
60,
195,
26,
137,
17,
137,
231,
158,
50,
167,
144,
220,
130,
176,
78,
80,
11,
134,
102,
192,
79,
148,
99,
55,
158,
121,
76,
41,
126,
253,
3,
48,
55,
147,
77,
173,
197,
199,
42,
109,
62,
228,
131,
26,
115,
229,
197,
1,
105,
115,
130,
186,
110,
143,
75,
165,
128,
140,
186,
204,
152,
70,
238,
111,
134,
196,
124,
190,
25,
254,
129,
105,
11,
238,
190,
181,
129,
147,
24,
176,
215,
228,
49,
207,
12,
219,
18,
242,
143,
168,
136,
38,
135,
213,
214,
30,
207,
97,
181,
52,
156,
201,
241,
158,
134,
157,
21,
237,
88,
80,
86,
163,
31,
62,
73,
4,
185,
23,
198,
71,
46,
158,
185,
8,
165,
4,
161,
23,
126,
141,
226,
35,
127,
25,
74,
135,
94,
236,
138,
183,
34,
17,
27,
131,
87,
170,
139,
207,
149,
109,
26,
124,
183,
155,
254,
30,
53,
158,
177,
11,
112,
126,
55,
92,
226,
120,
22,
42,
60,
182,
78,
220,
78,
181,
201,
243,
58,
67,
122,
241,
1,
106,
253,
95,
187,
230,
105,
203,
97,
135,
87,
186,
99,
29,
9,
92,
201,
107,
74,
18,
134,
156,
207,
192,
26,
96,
27,
31,
3,
238,
85,
129,
75,
57,
241,
123,
38,
235,
162,
152,
181,
252,
141,
40,
251,
76,
60,
235,
134,
152,
146,
171,
228,
124,
113,
115,
11,
144,
127,
15,
],
},
),
),
],
transport: None,
udp_encap: None,
embedded_ip: None,
}
Error:
panicked at net/src/headers/mod.rs:1519:9:
assertion `left == right` failed
left: Headers { eth: Some(Eth(Ethernet2Header { source: [64, 234, 167, 112, 88, 151], destination: [18, 117, 162, 244, 187, 203], ether_type: 0x0800 (Internet Protocol version 4 (IPv4)) })), vlan: [], net: Some(Ipv4(Ipv4(Ipv4Header { dscp: IpDscp(37), ecn: CongestionExperienced, total_len: 19703, identification: 58506, dont_fragment: false, more_fragments: true, fragment_offset: IpFragOffset(1843), time_to_live: 121, protocol: 51 (AH - Authentication Header), header_checksum: 62533, source: [77, 188, 189, 19], destination: [246, 128, 153, 225], options: [91, 156, 79, 90, 32, 126, 60, 233, 27, 3, 191, 42, 84, 255, 73, 234, 148, 14, 89, 168, 246, 247, 52, 237] }))), net_ext: [IpAuth(IpAuth(IpAuthHeader { next_header: 18 (MUX - Multiplexing), spi: 1866768502, sequence_number: 514712154, raw_icv: [244, 144, 80, 134, 177, 189, 151, 247, 171, 4, 121, 81, 10, 214, 156, 107, 150, 1, 200, 181, 247, 197, 8, 231, 63, 63, 195, 208, 49, 64, 27, 219, 75, 36, 172, 177, 46, 120, 201, 17, 154, 0, 193, 5, 233, 80, 79, 116, 70, 253, 176, 24, 44, 118, 238, 81, 11, 88, 169, 72, 125, 209, 9, 37, 214, 167, 200, 175, 49, 71, 201, 244, 116, 231, 3, 189, 12, 185, 219, 63, 165, 242, 108, 155, 5, 234, 146, 133, 160, 132, 160, 150, 35, 86, 55, 166, 78, 111, 78, 110, 201, 131, 83, 107, 211, 3, 208, 162, 109, 130, 87, 22, 10, 86, 134, 157, 38, 203, 188, 90, 30, 51, 189, 54, 99, 195, 174, 54, 104, 11, 196, 219, 117, 197, 162, 122, 4, 255, 172, 2, 246, 144, 148, 160, 42, 164, 106, 0, 18, 144, 218, 162, 66, 63, 235, 152, 37, 246, 70, 123, 168, 186, 9, 10, 232, 186, 41, 189, 26, 27, 33, 178, 177, 8, 211, 26, 150, 251, 248, 43, 178, 110, 130, 12, 204, 242, 198, 41, 123, 242, 160, 119, 156, 97, 226, 72, 27, 211, 24, 223, 178, 149, 54, 241, 22, 6, 85, 84, 134, 77, 28, 19, 111, 252, 125, 86, 115, 204, 59, 147, 242, 85, 42, 229, 9, 79, 58, 135, 26, 131, 17, 66, 223, 117, 133, 144, 4, 235, 163, 4, 91, 85, 94, 137, 17, 39, 189, 44, 240, 79, 115, 226, 210, 145, 190, 17, 64, 162, 1, 171, 178, 23, 234, 178, 35, 123, 93, 115, 118, 186, 183, 172, 40, 66, 117, 67, 59, 248, 20, 249, 99, 214, 229, 142, 119, 226, 247, 16, 72, 159, 89, 14, 196, 47, 252, 238, 11, 46, 206, 54, 59, 210, 65, 250, 116, 40, 128, 240, 104, 3, 86, 175, 45, 4, 246, 251, 168, 240, 17, 21, 210, 106, 180, 237, 168, 92, 151, 87, 200, 49, 126, 39, 161, 47, 70, 214, 202, 44, 224, 206, 252, 219, 113, 89, 55, 13, 58, 51, 199, 206, 255, 55, 241, 163, 128, 138, 107, 39, 158, 87, 240, 213, 95, 190, 179, 41, 118, 180, 169, 136, 102, 165, 198, 235, 173, 216, 165, 174, 126, 158, 65, 41, 55, 255, 49, 47, 43, 235, 60, 195, 26, 137, 17, 137, 231, 158, 50, 167, 144, 220, 130, 176, 78, 80, 11, 134, 102, 192, 79, 148, 99, 55, 158, 121, 76, 41, 126, 253, 3, 48, 55, 147, 77, 173, 197, 199, 42, 109, 62, 228, 131, 26, 115, 229, 197, 1, 105, 115, 130, 186, 110, 143, 75, 165, 128, 140, 186, 204, 152, 70, 238, 111, 134, 196, 124, 190, 25, 254, 129, 105, 11, 238, 190, 181, 129, 147, 24, 176, 215, 228, 49, 207, 12, 219, 18, 242, 143, 168, 136, 38, 135, 213, 214, 30, 207, 97, 181, 52, 156, 201, 241, 158, 134, 157, 21, 237, 88, 80, 86, 163, 31, 62, 73, 4, 185, 23, 198, 71, 46, 158, 185, 8, 165, 4, 161, 23, 126, 141, 226, 35, 127, 25, 74, 135, 94, 236, 138, 183, 34, 17, 27, 131, 87, 170, 139, 207, 149, 109, 26, 124, 183, 155, 254, 30, 53, 158, 177, 11, 112, 126, 55, 92, 226, 120, 22, 42, 60, 182, 78, 220, 78, 181, 201, 243, 58, 67, 122, 241, 1, 106, 253, 95, 187, 230, 105, 203, 97, 135, 87, 186, 99, 29, 9, 92, 201, 107, 74, 18, 134, 156, 207, 192, 26, 96, 27, 31, 3, 238, 85, 129, 75, 57, 241, 123, 38, 235, 162, 152, 181, 252, 141, 40, 251, 76, 60, 235, 134, 152, 146, 171, 228, 124, 113, 115, 11, 144, 127, 15] }))], transport: None, udp_encap: None, embedded_ip: None }
right: Headers { eth: Some(Eth(Ethernet2Header { source: [64, 234, 167, 112, 88, 151], destination: [18, 117, 162, 244, 187, 203], ether_type: 0x0800 (Internet Protocol version 4 (IPv4)) })), vlan: [], net: Some(Ipv4(Ipv4(Ipv4Header { dscp: IpDscp(37), ecn: CongestionExperienced, total_len: 19703, identification: 58506, dont_fragment: false, more_fragments: true, fragment_offset: IpFragOffset(1843), time_to_live: 121, protocol: 51 (AH - Authentication Header), header_checksum: 62533, source: [77, 188, 189, 19], destination: [246, 128, 153, 225], options: [91, 156, 79, 90, 32, 126, 60, 233, 27, 3, 191, 42, 84, 255, 73, 234, 148, 14, 89, 168, 246, 247, 52, 237] }))), net_ext: [], transport: None, udp_encap: None, embedded_ip: None }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace.
==============================================================
thread 'headers::test::parse_back' (17781) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/bolero-0.13.4/src/test/mod.rs:383:21:
test failed
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
test headers::test::parse_back ... FAILED
failures:
failures:
headers::test::parse_back
test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 119 filtered out; finished in 1.17s
I reproduced it locally and the issue seems to be with the net_ext
(scroll below to the right to see it)
Error:
panicked at net/src/headers/mod.rs:1519:9:
assertion `left == right` failed
left: Headers { eth: Some(Eth(Ethernet2Header { source: [64, 234, 167, 112, 88, 151], destination: [18, 117, 162, 244, 187, 203], ether_type: 0x0800 (Internet Protocol version 4 (IPv4)) })), vlan: [], net: Some(Ipv4(Ipv4(Ipv4Header { dscp: IpDscp(37), ecn: CongestionExperienced, total_len: 19703, identification: 58506, dont_fragment: false, more_fragments: true, fragment_offset: IpFragOffset(1843), time_to_live: 121, protocol: 51 (AH - Authentication Header), header_checksum: 62533, source: [77, 188, 189, 19], destination: [246, 128, 153, 225], options: [91, 156, 79, 90, 32, 126, 60, 233, 27, 3, 191, 42, 84, 255, 73, 234, 148, 14, 89, 168, 246, 247, 52, 237] }))), net_ext: [IpAuth(IpAuth(IpAuthHeader { next_header: 18 (MUX - Multiplexing), spi: 1866768502, sequence_number: 514712154, raw_icv: [244, 144, 80, 134, 177, 189, 151, 247, 171, 4, 121, 81, 10, 214, 156, 107, 150, 1, 200, 181, 247, 197, 8, 231, 63, 63, 195, 208, 49, 64, 27, 219, 75, 36, 172, 177, 46, 120, 201, 17, 154, 0, 193, 5, 233, 80, 79, 116, 70, 253, 176, 24, 44, 118, 238, 81, 11, 88, 169, 72, 125, 209, 9, 37, 214, 167, 200, 175, 49, 71, 201, 244, 116, 231, 3, 189, 12, 185, 219, 63, 165, 242, 108, 155, 5, 234, 146, 133, 160, 132, 160, 150, 35, 86, 55, 166, 78, 111, 78, 110, 201, 131, 83, 107, 211, 3, 208, 162, 109, 130, 87, 22, 10, 86, 134, 157, 38, 203, 188, 90, 30, 51, 189, 54, 99, 195, 174, 54, 104, 11, 196, 219, 117, 197, 162, 122, 4, 255, 172, 2, 246, 144, 148, 160, 42, 164, 106, 0, 18, 144, 218, 162, 66, 63, 235, 152, 37, 246, 70, 123, 168, 186, 9, 10, 232, 186, 41, 189, 26, 27, 33, 178, 177, 8, 211, 26, 150, 251, 248, 43, 178, 110, 130, 12, 204, 242, 198, 41, 123, 242, 160, 119, 156, 97, 226, 72, 27, 211, 24, 223, 178, 149, 54, 241, 22, 6, 85, 84, 134, 77, 28, 19, 111, 252, 125, 86, 115, 204, 59, 147, 242, 85, 42, 229, 9, 79, 58, 135, 26, 131, 17, 66, 223, 117, 133, 144, 4, 235, 163, 4, 91, 85, 94, 137, 17, 39, 189, 44, 240, 79, 115, 226, 210, 145, 190, 17, 64, 162, 1, 171, 178, 23, 234, 178, 35, 123, 93, 115, 118, 186, 183, 172, 40, 66, 117, 67, 59, 248, 20, 249, 99, 214, 229, 142, 119, 226, 247, 16, 72, 159, 89, 14, 196, 47, 252, 238, 11, 46, 206, 54, 59, 210, 65, 250, 116, 40, 128, 240, 104, 3, 86, 175, 45, 4, 246, 251, 168, 240, 17, 21, 210, 106, 180, 237, 168, 92, 151, 87, 200, 49, 126, 39, 161, 47, 70, 214, 202, 44, 224, 206, 252, 219, 113, 89, 55, 13, 58, 51, 199, 206, 255, 55, 241, 163, 128, 138, 107, 39, 158, 87, 240, 213, 95, 190, 179, 41, 118, 180, 169, 136, 102, 165, 198, 235, 173, 216, 165, 174, 126, 158, 65, 41, 55, 255, 49, 47, 43, 235, 60, 195, 26, 137, 17, 137, 231, 158, 50, 167, 144, 220, 130, 176, 78, 80, 11, 134, 102, 192, 79, 148, 99, 55, 158, 121, 76, 41, 126, 253, 3, 48, 55, 147, 77, 173, 197, 199, 42, 109, 62, 228, 131, 26, 115, 229, 197, 1, 105, 115, 130, 186, 110, 143, 75, 165, 128, 140, 186, 204, 152, 70, 238, 111, 134, 196, 124, 190, 25, 254, 129, 105, 11, 238, 190, 181, 129, 147, 24, 176, 215, 228, 49, 207, 12, 219, 18, 242, 143, 168, 136, 38, 135, 213, 214, 30, 207, 97, 181, 52, 156, 201, 241, 158, 134, 157, 21, 237, 88, 80, 86, 163, 31, 62, 73, 4, 185, 23, 198, 71, 46, 158, 185, 8, 165, 4, 161, 23, 126, 141, 226, 35, 127, 25, 74, 135, 94, 236, 138, 183, 34, 17, 27, 131, 87, 170, 139, 207, 149, 109, 26, 124, 183, 155, 254, 30, 53, 158, 177, 11, 112, 126, 55, 92, 226, 120, 22, 42, 60, 182, 78, 220, 78, 181, 201, 243, 58, 67, 122, 241, 1, 106, 253, 95, 187, 230, 105, 203, 97, 135, 87, 186, 99, 29, 9, 92, 201, 107, 74, 18, 134, 156, 207, 192, 26, 96, 27, 31, 3, 238, 85, 129, 75, 57, 241, 123, 38, 235, 162, 152, 181, 252, 141, 40, 251, 76, 60, 235, 134, 152, 146, 171, 228, 124, 113, 115, 11, 144, 127, 15] }))], transport: None, udp_encap: None, embedded_ip: None }
right: Headers { eth: Some(Eth(Ethernet2Header { source: [64, 234, 167, 112, 88, 151], destination: [18, 117, 162, 244, 187, 203], ether_type: 0x0800 (Internet Protocol version 4 (IPv4)) })), vlan: [], net: Some(Ipv4(Ipv4(Ipv4Header { dscp: IpDscp(37), ecn: CongestionExperienced, total_len: 19703, identification: 58506, dont_fragment: false, more_fragments: true, fragment_offset: IpFragOffset(1843), time_to_live: 121, protocol: 51 (AH - Authentication Header), header_checksum: 62533, source: [77, 188, 189, 19], destination: [246, 128, 153, 225], options: [91, 156, 79, 90, 32, 126, 60, 233, 27, 3, 191, 42, 84, 255, 73, 234, 148, 14, 89, 168, 246, 247, 52, 237] }))), net_ext: [], transport: None, udp_encap: None, embedded_ip: None }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace.