search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
73 stars 20 forks source link

union tests failing #454

Open hackedy opened 11 months ago

hackedy commented 11 months ago

Looks like a bug with unions (either validity or deserialization) causing it to print multiple members.

union1-bmv2.p4.
   Expected:
01666666
   Received: 
012345666666
hackedy commented 11 months ago

This includes the following union-related STF tests.