MRI solution; is it correct?! about tutorials HOT 5 CLOSED

They also have this problem at the Sigcomm2017 tutorial, they are missing:

hdr.ipv4_option.optionLength = hdr.ipv4_option.optionLength + 4;

Otherwise wireshark or scapy are not able to parse properly the header.

from tutorials.

Adding label "help wanted" on this one, in hopes that someone with time and interest can investigate whether this is still a problem in latest version of the mri exercise, and fix it, or determine that it has already been fixed.

from tutorials.

What has to be checked here? @jafingerhut

from tutorials.

The first several comments of this issue suggest that there were some lines of code missing in order for the packets to be modified to become correct IPv4 packets. It would be good to find out whether those suggested changes still have not been made, or whether they were made some time after this issue was first created.

from tutorials.

I have run the mri exercise solution in solutions/mri.p4 as of 2024-Jul-07, and it appears to be correct, updating the IPv4 header length (field ihl) as required.

from tutorials.