search

verified-network-toolchain / petr4

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

issue235.p4 failing #477

Open hackedy opened 1 year ago

hackedy commented 1 year ago

See #235? But it seems like a more surface level issue this time around.