Problem with building expression for dereference_header_stack #3508
Open
Description
Model behavioral finished with the message here for attached example:
Invalid 'type' in expression: ''
bad json:
{
"left" : {
"type" : "header_stack",
"value" : "h_0_h2"
},
"op" : "dereference_header_stack",
"right" : {
"type" : "field",
"value" : [ "scalars", "tmp" ]
}
}
This error message appears on the invalid-hdr-warnings4.p4.
invalid-hdr-warnings4.stf.txt