Skip to content

Group nodes not correctly displayed

If group nodes are set with expanded_view true, the dot display is wrong. Reproduce: Execute example file group_test.opm with opossum CLI.