p4c-behavioral icon indicating copy to clipboard operation
p4c-behavioral copied to clipboard

Variable length fields

Open FreakyPenguin opened this issue 9 years ago • 1 comments

As far as I can tell, the behavioral model seems to miss support for variable length fields. From a quick look at the source code it looks like adding this would mean moving some stuff around. Is anyone working on adding this, or is this a lower priority thing?

In general it would be useful to outline what's missing somewhere, e.g. in the README.

Thanks

FreakyPenguin avatar Apr 15 '15 01:04 FreakyPenguin

You are right, there is no current support for variable length headers in the behavioral model and I don't have time to add support in the near future. Of course anyone is welcome to contribute a patch, but I think supporting this feature would require some big changes. Will try to update the README with current limitations of the model soon.

antoninbas avatar Apr 15 '15 18:04 antoninbas