xref: /linux/tools/verification/rvgen/tests/specs/test_invalid.dot (revision 55ee4b931a7ffedc886175d265dd6e6d08fd4151) 
1*655d4809SGabriele Monacodigraph invalid {
2*655d4809SGabriele Monaco	{node [shape = circle] "init"};
3*655d4809SGabriele Monaco	{node [shape = circle] "state1"};
4*655d4809SGabriele Monaco	"init" [label = "init"];
5*655d4809SGabriele Monaco	"init" -> "state1" [ label = "event_a" ];
6*655d4809SGabriele Monaco	"state1" [label = "state1"];
7*655d4809SGabriele Monaco	"state1" -> "init" [ label = "event_b" ];
8*655d4809SGabriele Monaco}
9