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