Add a new graph (the one of Fig 4.1 in the book) for unison.ml

test/unison/Makefile

-# Time-stamp: <modified the 07/03/2019 (at 14:29) by Erwan>
-
+# Time-stamp: <modified the 07/03/2019 (at 16:38) by Erwan>
 
 test: unison.cmxs 
+	$(sasa) -l 200 fig4.1.dot 
+
+test2: unison.cmxs 
 	$(sasa) -l 200 ring.dot 
 
+
+
 -include ../Makefile.inc
 

test/unison/fig4.1.dot

+graph fig4_1 {
+
+ p1 [algo="unison.cmxs"]
+ p2 [algo="unison.cmxs" ]
+ p3 [algo="unison.cmxs"]
+ p4 [algo="unison.cmxs"]
+ p5 [algo="unison.cmxs"]
+ p6 [algo="unison.cmxs"]
+ p7 [algo="unison.cmxs"]
+ p8 [algo="unison.cmxs"]
+
+ p1 -- p2 -- p3 -- p4 -- p5 -- p3
+ p2 -- p7 -- p6 -- p3
+ p7 -- p8 -- p6
+ 
+}