[P4_Symbolic] Overload GetFieldBitwidth
to accept separate header and field names as parameters.
#939
+490
−28
Loading