issue-2123-2-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

   Expected:
E0FFFFFFFFFFFFFFFFFFFFFF07FF00
   Received:
FFFFFFFFFF07FFFFFFFFFFFF07FF00

hackedy commented 11 months ago

issue-2123-3-bmv2.p4 is also failing for presumably related reasons