Browse code

tests: Import Graphviz tests.

Jose Fonseca authored on 13/02/2016 23:53:31
Showing 1 changed files
1 1
new file mode 100644
... ...
@@ -0,0 +1,13 @@
1
+digraph automata_0 {
2
+	size ="8.5, 11";
3
+	node [shape = circle];
4
+	0 [ style = filled, color=lightgrey ];
5
+	2 [ shape = doublecircle ];
6
+	0 -> 2 [ label = "a " ];
7
+	0 -> 1 [ label = "other " ];
8
+	1 -> 2 [ label = "a " ];
9
+	1 -> 1 [ label = "other " ];
10
+	2 -> 2 [ label = "a " ];
11
+	2 -> 1 [ label = "other " ];
12
+	"Machine: a" [ shape = plaintext ];
13
+}
0 14
\ No newline at end of file