Closed smolkaj closed 1 year ago
@antoninbas is this what you had in mind? @tiantianz for visibility
I think it would make sense to update
as well, even though that code is unlikely to be used any more. I don't think this number shows up anywhere else.
Done.
I also had to remove some unnecessary copies of the form for (const auto foo : bar) { ...]
to amke clang++-10 CI happy.
@antoninbas CI now passes.
Fixes https://github.com/p4lang/behavioral-model/issues/1162