search

verified-network-toolchain / petr4

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

P4light STF does not support adding rules #449

Open hackedy opened 11 months ago

hackedy commented 11 months ago

A lot of STF tests currently fail with unimplemented stf statement: Add messages because of this.