Commit de3c913
test: remove banner-separator comments (leanEthereum#812)
* Add attestation proof order fixture
* test: remove banner-separator comments
The code style bans banner-style separator comments, since they add visual
clutter and blank lines already mark logical sections. Drop the 63 pure
dash and equals divider lines across the QUIC, service, and fork-choice
test files, keeping the section heading text as plain single-line comments.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---------
Co-authored-by: Adam Mohammed A Latif <latifkasuli@gmail.com>
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>1 parent 250092d commit de3c913
5 files changed
Lines changed: 0 additions & 63 deletions
File tree
- tests
- consensus/lstar/fc
- lean_spec/node/networking
- service
- transport/quic
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
63 | 63 | | |
64 | 64 | | |
65 | 65 | | |
66 | | - | |
67 | 66 | | |
68 | 67 | | |
69 | 68 | | |
| |||
119 | 118 | | |
120 | 119 | | |
121 | 120 | | |
122 | | - | |
123 | 121 | | |
124 | 122 | | |
125 | 123 | | |
| |||
201 | 199 | | |
202 | 200 | | |
203 | 201 | | |
204 | | - | |
205 | 202 | | |
206 | 203 | | |
207 | 204 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
571 | 571 | | |
572 | 572 | | |
573 | 573 | | |
574 | | - | |
575 | 574 | | |
576 | 575 | | |
577 | 576 | | |
| |||
602 | 601 | | |
603 | 602 | | |
604 | 603 | | |
605 | | - | |
606 | 604 | | |
607 | 605 | | |
608 | 606 | | |
| |||
694 | 692 | | |
695 | 693 | | |
696 | 694 | | |
697 | | - | |
698 | 695 | | |
699 | 696 | | |
700 | 697 | | |
| |||
796 | 793 | | |
797 | 794 | | |
798 | 795 | | |
799 | | - | |
800 | 796 | | |
801 | 797 | | |
802 | 798 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
35 | 35 | | |
36 | 36 | | |
37 | 37 | | |
38 | | - | |
39 | 38 | | |
40 | | - | |
41 | 39 | | |
42 | 40 | | |
43 | 41 | | |
| |||
74 | 72 | | |
75 | 73 | | |
76 | 74 | | |
77 | | - | |
78 | 75 | | |
79 | | - | |
80 | 76 | | |
81 | 77 | | |
82 | 78 | | |
| |||
155 | 151 | | |
156 | 152 | | |
157 | 153 | | |
158 | | - | |
159 | 154 | | |
160 | | - | |
161 | 155 | | |
162 | 156 | | |
163 | 157 | | |
| |||
188 | 182 | | |
189 | 183 | | |
190 | 184 | | |
191 | | - | |
192 | 185 | | |
193 | | - | |
194 | 186 | | |
195 | 187 | | |
196 | 188 | | |
| |||
304 | 296 | | |
305 | 297 | | |
306 | 298 | | |
307 | | - | |
308 | 299 | | |
309 | | - | |
310 | 300 | | |
311 | 301 | | |
312 | 302 | | |
| |||
412 | 402 | | |
413 | 403 | | |
414 | 404 | | |
415 | | - | |
416 | 405 | | |
417 | | - | |
418 | 406 | | |
419 | 407 | | |
420 | 408 | | |
| |||
450 | 438 | | |
451 | 439 | | |
452 | 440 | | |
453 | | - | |
454 | 441 | | |
455 | | - | |
456 | 442 | | |
457 | 443 | | |
458 | 444 | | |
| |||
Lines changed: 0 additions & 24 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
33 | 33 | | |
34 | 34 | | |
35 | 35 | | |
36 | | - | |
37 | 36 | | |
38 | | - | |
39 | 37 | | |
40 | 38 | | |
41 | 39 | | |
| |||
70 | 68 | | |
71 | 69 | | |
72 | 70 | | |
73 | | - | |
74 | 71 | | |
75 | 72 | | |
76 | | - | |
77 | 73 | | |
78 | 74 | | |
79 | 75 | | |
| |||
113 | 109 | | |
114 | 110 | | |
115 | 111 | | |
116 | | - | |
117 | 112 | | |
118 | | - | |
119 | 113 | | |
120 | 114 | | |
121 | 115 | | |
| |||
172 | 166 | | |
173 | 167 | | |
174 | 168 | | |
175 | | - | |
176 | 169 | | |
177 | 170 | | |
178 | 171 | | |
179 | 172 | | |
180 | 173 | | |
181 | | - | |
182 | 174 | | |
183 | 175 | | |
184 | 176 | | |
| |||
193 | 185 | | |
194 | 186 | | |
195 | 187 | | |
196 | | - | |
197 | 188 | | |
198 | 189 | | |
199 | 190 | | |
200 | 191 | | |
201 | 192 | | |
202 | | - | |
203 | 193 | | |
204 | 194 | | |
205 | 195 | | |
| |||
237 | 227 | | |
238 | 228 | | |
239 | 229 | | |
240 | | - | |
241 | 230 | | |
242 | 231 | | |
243 | 232 | | |
244 | 233 | | |
245 | | - | |
246 | 234 | | |
247 | 235 | | |
248 | 236 | | |
| |||
280 | 268 | | |
281 | 269 | | |
282 | 270 | | |
283 | | - | |
284 | 271 | | |
285 | 272 | | |
286 | 273 | | |
287 | | - | |
288 | 274 | | |
289 | 275 | | |
290 | 276 | | |
| |||
305 | 291 | | |
306 | 292 | | |
307 | 293 | | |
308 | | - | |
309 | 294 | | |
310 | 295 | | |
311 | 296 | | |
312 | | - | |
313 | 297 | | |
314 | 298 | | |
315 | 299 | | |
| |||
335 | 319 | | |
336 | 320 | | |
337 | 321 | | |
338 | | - | |
339 | 322 | | |
340 | | - | |
341 | 323 | | |
342 | 324 | | |
343 | 325 | | |
| |||
363 | 345 | | |
364 | 346 | | |
365 | 347 | | |
366 | | - | |
367 | 348 | | |
368 | 349 | | |
369 | 350 | | |
370 | 351 | | |
371 | 352 | | |
372 | | - | |
373 | 353 | | |
374 | 354 | | |
375 | 355 | | |
| |||
469 | 449 | | |
470 | 450 | | |
471 | 451 | | |
472 | | - | |
473 | 452 | | |
474 | | - | |
475 | 453 | | |
476 | 454 | | |
477 | 455 | | |
| |||
532 | 510 | | |
533 | 511 | | |
534 | 512 | | |
535 | | - | |
536 | 513 | | |
537 | 514 | | |
538 | 515 | | |
539 | 516 | | |
540 | | - | |
541 | 517 | | |
542 | 518 | | |
543 | 519 | | |
| |||
Lines changed: 0 additions & 18 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
30 | 30 | | |
31 | 31 | | |
32 | 32 | | |
33 | | - | |
34 | 33 | | |
35 | | - | |
36 | 34 | | |
37 | 35 | | |
38 | 36 | | |
| |||
41 | 39 | | |
42 | 40 | | |
43 | 41 | | |
44 | | - | |
45 | 42 | | |
46 | | - | |
47 | 43 | | |
48 | 44 | | |
49 | 45 | | |
| |||
62 | 58 | | |
63 | 59 | | |
64 | 60 | | |
65 | | - | |
66 | 61 | | |
67 | 62 | | |
68 | 63 | | |
69 | 64 | | |
70 | 65 | | |
71 | 66 | | |
72 | | - | |
73 | 67 | | |
74 | 68 | | |
75 | 69 | | |
| |||
115 | 109 | | |
116 | 110 | | |
117 | 111 | | |
118 | | - | |
119 | 112 | | |
120 | | - | |
121 | 113 | | |
122 | 114 | | |
123 | 115 | | |
| |||
142 | 134 | | |
143 | 135 | | |
144 | 136 | | |
145 | | - | |
146 | 137 | | |
147 | | - | |
148 | 138 | | |
149 | 139 | | |
150 | 140 | | |
| |||
162 | 152 | | |
163 | 153 | | |
164 | 154 | | |
165 | | - | |
166 | 155 | | |
167 | | - | |
168 | 156 | | |
169 | 157 | | |
170 | 158 | | |
| |||
191 | 179 | | |
192 | 180 | | |
193 | 181 | | |
194 | | - | |
195 | 182 | | |
196 | | - | |
197 | 183 | | |
198 | 184 | | |
199 | 185 | | |
| |||
254 | 240 | | |
255 | 241 | | |
256 | 242 | | |
257 | | - | |
258 | 243 | | |
259 | | - | |
260 | 244 | | |
261 | 245 | | |
262 | 246 | | |
| |||
367 | 351 | | |
368 | 352 | | |
369 | 353 | | |
370 | | - | |
371 | 354 | | |
372 | 355 | | |
373 | 356 | | |
374 | | - | |
375 | 357 | | |
376 | 358 | | |
377 | 359 | | |
| |||
0 commit comments