diff --git a/test/parser/output.dot b/test/parser/output.dot deleted file mode 100644 index 7e0e80061..000000000 --- a/test/parser/output.dot +++ /dev/null @@ -1,35 +0,0 @@ -digraph dtmc { - 1[label="1\n{ phi }"]; - 2[label="2\n{ phi }"]; - 3[label="3\n{ phi }"]; - 4[label="4\n{ smth }"]; - 5[label="5\n{ phi,smth }"]; - 6[label="6\n{ psi }"]; - 7[label="7\n{ phi,psi }"]; - 8[label="8\n{ phi,psi }"]; - 9[label="9\n{ phi }"]; - 10[label="10\n{ phi }"]; - 11[label="11\n{ phi }"]; - 0 -> 0 [label=1] - 1 -> 3 [label=0.5] - 1 -> 4 [label=0.5] - 2 -> 1 [label=0.3] - 2 -> 7 [label=0.7] - 3 -> 2 [label=0.05] - 3 -> 3 [label=0.7] - 3 -> 6 [label=0.05] - 3 -> 8 [label=0.2] - 4 -> 1 [label=0.3] - 4 -> 5 [label=0.3] - 4 -> 6 [label=0.4] - 5 -> 4 [label=1] - 6 -> 7 [label=1] - 7 -> 2 [label=0.2] - 7 -> 6 [label=0.8] - 8 -> 9 [label=1] - 9 -> 8 [label=0.3] - 9 -> 9 [label=0.7] - 10 -> 4 [label=1] - 11 -> 5 [label=0.7] - 11 -> 9 [label=0.3] -}