mirror of
https://github.com/torvalds/linux.git
synced 2026-09-24 06:24:02 +02:00
655d48096d
Create reference models specifications and generated files in the golded folder. Those can be used as reference to validate rvgen still generates files as expected in automated tests. Reviewed-by: Nam Cao <namcao@linutronix.de> Link: https://lore.kernel.org/r/20260723074534.43521-8-gmonaco@redhat.com Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
17 lines
536 B
Plaintext
17 lines
536 B
Plaintext
digraph state_automaton {
|
|
{node [shape = circle] "state_b"};
|
|
{node [shape = plaintext, style=invis, label=""] "__init_state_a"};
|
|
{node [shape = doublecircle] "state_a"};
|
|
{node [shape = circle] "state_a"};
|
|
"__init_state_a" -> "state_a";
|
|
"state_a" [label = "state_a;clk < 1"];
|
|
"state_a" -> "state_a" [ label = "event_2;reset(clk)" ];
|
|
"state_a" -> "state_b" [ label = "event_1;wrong_constraint" ];
|
|
"state_b" [label = "state_b"];
|
|
"state_b" -> "state_a" [ label = "event_2" ];
|
|
{ rank = min ;
|
|
"__init_state_a";
|
|
"state_a";
|
|
}
|
|
}
|