Open QinshiWang opened 2 years ago
https://github.com/verified-network-toolchain/petr4/blob/poulet4/deps/poulet4/lib/Semantics.v#L1421 This doesn't work when there's an actual tag.
https://github.com/verified-network-toolchain/petr4/blob/poulet4/deps/poulet4/lib/Semantics.v#L1421 This doesn't work when there's an actual tag.