Open chrispsommers opened 1 year ago
Idea was spawned based on discussion of https://github.com/p4lang/p4runtime/issues/389 and https://github.com/p4lang/p4runtime/issues/424. Currently alignment between the specs is done by human analysis. We could benefit from automatic cross-checking if this is feasible. For example, check that a 0-length varbit as specified actually works.
Idea was spawned based on discussion of https://github.com/p4lang/p4runtime/issues/389 and https://github.com/p4lang/p4runtime/issues/424. Currently alignment between the specs is done by human analysis. We could benefit from automatic cross-checking if this is feasible. For example, check that a 0-length varbit as specified actually works.