tools/verification/rvgen/tests/specs/test_invalid.dot


1
2
3
4
5
6
7
8

digraph invalid {
	{node [shape = circle] "init"};
	{node [shape = circle] "state1"};
	"init" [label = "init"];
	"init" -> "state1" [ label = "event_a" ];
	"state1" [label = "state1"];
	"state1" -> "init" [ label = "event_b" ];
}