registers unimplemented in P4light interpreter

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

75 stars 21 forks source link

Open hackedy opened 1 year ago

hackedy commented 1 year ago

This includes the method register_read and is causing a few STF tests to fail.