From 4bccc96738a21699897deb9dcf8d50f2ac6cb601 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 7 Mar 2019 16:41:33 +0100
Subject: [PATCH] Add a new graph (the one of Fig 4.1 in the book) for
unison.ml
---
test/unison/Makefile | 8 ++++++--
test/unison/fig4.1.dot | 16 ++++++++++++++++
2 files changed, 22 insertions(+), 2 deletions(-)
create mode 100644 test/unison/fig4.1.dot
diff --git a/test/unison/Makefile b/test/unison/Makefile
index 07e1a506..89f5926a 100644
--- a/test/unison/Makefile
+++ b/test/unison/Makefile
@@ -1,8 +1,12 @@
-# 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
diff --git a/test/unison/fig4.1.dot b/test/unison/fig4.1.dot
new file mode 100644
index 00000000..c92dd939
--- /dev/null
+++ b/test/unison/fig4.1.dot
@@ -0,0 +1,16 @@
+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
+
+}
--
GitLab