runtime-index-2-bmv2.p4 failing

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

75 stars 21 forks source link

Open hackedy opened 1 year ago

hackedy commented 1 year ago

   Expected:
CA0107FC001C111111111111F0450805012345CA89ABF7EF
   Received:
CA0107FC001C111111111111450D0805012345CA89ABF7EF