issue995-bmv2.p4 failing

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

73 stars 20 forks source link

Open hackedy opened 11 months ago

hackedy commented 11 months ago

No clue what this is about. Looks like only the last byte is wrong.

   Expected:
0000000004560000022E00000005
   Received:
0000000004560000022E00000000