On Fri, 2026-08-21 at 00:45 +0800, [email protected] wrote:
> From: Wen Yang <[email protected]>
> +digraph state_automaton {
> + center = true;
> + size = "7,11";
> + {node [shape = plaintext, style=invis, label=""] "__init_stopped"};
> + {node [shape = plaintext] "running"};
> + {node [shape = plaintext] "waiting"};
> + {node [shape = plaintext] "sleeping"};
> + {node [shape = plaintext] "stopped"};
There's a convention to mark the final, which is usually also the
initial, state differently. Please do:
{node [shape = ellipse] "stopped"};
Somehow rvgen still gets it right, but it doesn't hurt to follow this
(undocumented, I know) convention.
Thanks,
Gabriele
