diff --git a/test/skeleton/ring.dot b/test/skeleton/ring.dot new file mode 100644 index 0000000000000000000000000000000000000000..80cff9f13c7134d3d5f00c5b0a9e06e7fdee50d4 --- /dev/null +++ b/test/skeleton/ring.dot @@ -0,0 +1,11 @@ +graph ring { + p1 [algo="some_algo.ml"] + p2 [algo="some_algo.ml"] + p3 [algo="some_algo.ml"] + p4 [algo="some_algo.ml"] + p5 [algo="some_algo.ml"] + p6 [algo="some_algo.ml"] + p7 [algo="some_algo.ml"] + + p1 -- p2 -- p3 -- p4 -- p5 -- p6 -- p7 -- p1 +}