varbit extract unimplemented in P4light interpreter

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

73 stars 20 forks source link

Open hackedy opened 11 months ago

hackedy commented 11 months ago

This is causing some stf tests to fail with the message packet_in_extract_interp: varbit extract unimplemented.