[P4-dev] nested header p4c test?

hemant at mnkcg.com hemant at mnkcg.com
Mon Dec 10 08:49:08 EST 2018

In p4c/testdata/p4_16_sample/ basic_routing-bmv2.p4, I see nested headers
(headers).  This test passes without any error with latest p4c.  However,
according to table 7.2.7 of the latest p4-16 specification, I see a header
inside a header is an error.   Is the p4c implementation delayed in
implementing the new document?  P4.org only includes the latest doc and thus
I haven't been able to check an older document for behavior.  





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.p4.org/pipermail/p4-dev_lists.p4.org/attachments/20181210/ea9b56d2/attachment.html>

More information about the P4-dev mailing list