mbeddr/mbeddr.formal

Recursive flattening of connections with structs

norro opened this issue · 0 comments

norro commented

Follow-up of #34:
Flattening of connections with structs need to be recursive to handle situations where struct members are again structs. This happens in one of our use-cases.