v1model-const-entries-bmv2.p4 failing

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

79 stars 21 forks source link

Open hackedy opened 1 year ago

hackedy commented 1 year ago

Unclear what's causing this.

   Expected: 
0A01020300000000000000010000
   Received: 
0A01020300000000DEADBEEF0000