search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
79 stars 21 forks source link

table-entries-lpm-bmv2.p4 failing #450

Open hackedy opened 1 year ago

hackedy commented 1 year ago

To me this looks like a problem with the STF framework and not the test, since the pattern appears to match the received packet.

   Expected: 
0B****11****
   Received:
0B00001100B0
hackedy commented 1 year ago

Same issue appears to be affecting table-entries-range-bmv2.p4.

hackedy commented 1 year ago

and