This is due to a faulty detection for PinPropsSize and PinStateSize, both of which apparently return 0 even when properties and state have real size. The generation logic is not invoked and the edges don't appear in the generated source; worse, their pointers are set to NULL, so deferencing an edge will lead to unpredictable results. A fix is in Orchestrator-ThreadConstrain and has been tested at various sizes. This fix also gets rid of PinPropsSize and PinStateSize in P_pintyp. It's not clear why those were there otherwise; their only use was to trigger the (faulty) generation logic in P_builder.
This is due to a faulty detection for PinPropsSize and PinStateSize, both of which apparently return 0 even when properties and state have real size. The generation logic is not invoked and the edges don't appear in the generated source; worse, their pointers are set to NULL, so deferencing an edge will lead to unpredictable results. A fix is in Orchestrator-ThreadConstrain and has been tested at various sizes. This fix also gets rid of PinPropsSize and PinStateSize in P_pintyp. It's not clear why those were there otherwise; their only use was to trigger the (faulty) generation logic in P_builder.