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

On Fri, 2026-08-21 at 00:45 +0800, wen.yang@linux.dev wrote:

From: Wen Yang <redacted>
+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