Closed himi closed 10 months ago
The visualizer rendered the unnamed memberships, which are typically created by InitialNodeMember such as first xxx;. So it looked actions are rendered in a duplicated manner. This PR lets the visualizer ignore such memberships.
first xxx;
After this fix,
action a1 { action a11; first a11; then done; }
is rendered as:
The visualizer rendered the unnamed memberships, which are typically created by InitialNodeMember such as
first xxx;
. So it looked actions are rendered in a duplicated manner. This PR lets the visualizer ignore such memberships.