Missing support for STF statements

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

73 stars 20 forks source link

Open amandashoe opened 4 years ago

amandashoe commented 4 years ago

tests failing: v1model-special-ops-bmv2.stf, ipv6-switch-ml-bmv2.stf, v1model-special-ops-bmv2.stf, ternary2-bmv2.stf

amandashoe commented 4 years ago

I suppose the only one here that should be fixed at the moment is wait since we don't support multicasting.