search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
74 stars 20 forks source link

Misleading comments in printp4.ml #355

Open QinshiWang opened 2 years ago

QinshiWang commented 2 years ago

https://github.com/verified-network-toolchain/petr4/blob/poulet4/lib/printp4.ml#L4-L6 It was not edited when copying from exportp4.ml. The same thing can happen for other printers as well, please correctly write what they are.

hackedy commented 1 year ago

I got confused by this yesterday. I think we should give the modules more descriptive names too.