hash extern 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 several STF tests to fail with the following message.

[failure] hash unimplemented