verified-network-toolchain / petr4

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

issue561 STF tests failing #453

Open hackedy opened 11 months ago

hackedy commented 11 months ago

I'd expect these failures are related. Both tests expect some bits of the packet to be high but get all zeroes instead.

hackedy commented 11 months ago

This includes all the issue561 tests: