Semantics of writing and setting invalid of a header member of a header union#299

Open

QinshiWang wants to merge 1 commit intomainfrom poulet4-header-union

+32-25

Commits on Dec 15, 2021

add an is_inner flag to exec_write and update_member to distinguish writing to a field of a header member and writing a header member as a whole
QinshiWang
committed