Closed rhl-bthr closed 4 years ago
These were taken from implementations of standard P4 programs. Based on our discussion, they don't increase the coverage to the tool since similar header/parser combinations are already present in other programs.
We will add more tests to the tool based on errors reported.
programs taken from https://github.com/Princeton-Cabernet/p4-projects
No compilation errors. Reviewed scapy and wireshark generated code. Yet to test.