Re: [PATCH v6 3/9] rv: Add tlob model DOT file

[Gabriele Monaco]

On Fri, 2026-08-21 at 00:45 +0800, wen.yang@xxxxxxxxx wrote:
> From: Wen Yang <wen.yang@xxxxxxxxx>
> +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