[P4_Symbolic] Overload GetFieldBitwidth
to accept separate header and field names as parameters.
#4507
Job | Run time |
---|---|
1h 23m 57s | |
1h 23m 57s |