diff --git a/test/k-clustering/Makefile b/test/k-clustering/Makefile index f0c0528d856a2719fa5fd8409c401084015a8e8d..70ace4c843fff6218df48bee36c218f2449468a1 100644 --- a/test/k-clustering/Makefile +++ b/test/k-clustering/Makefile @@ -1,4 +1,4 @@ -# Time-stamp: <modified the 22/06/2022 (at 23:22) by Erwan Jahier> +# Time-stamp: <modified the 24/06/2022 (at 15:16) by Erwan Jahier> DECO_PATTERN="0-:p.ml" -include ../Makefile.inc @@ -35,6 +35,9 @@ rdbg: fig52_kcl.ml rdbg: fig52_kcl.ml rdbg --sasa -o fig52_kcl.rif -env "sasa fig52_kcl.dot -cd" +rdbgui: fig52_kcl.ml + rdbgui4sasa -o tree4.rif -env "sasa -seed 178451767 tree4.dot -dd" + rtree50: rtree50.cmxs sasa -cd rtree50.dot diff --git a/test/skeleton/Makefile b/test/skeleton/Makefile index 7d65d376f00c869221c99f6be22f2c0fc6ae6282..5855893eaea1e62e7bdde5929bef267d7e0bcad5 100644 --- a/test/skeleton/Makefile +++ b/test/skeleton/Makefile @@ -1,4 +1,4 @@ -# Time-stamp: <modified the 30/05/2022 (at 14:37) by Erwan Jahier> +# Time-stamp: <modified the 01/07/2022 (at 14:40) by Erwan Jahier> DECO_PATTERN="0-:p.ml" -include ../Makefile.dot @@ -20,4 +20,5 @@ rdbg: grid4.dot grid4.ml rdbg --sasa -sut "sasa grid4.dot" clean: genclean - rm -f grid4.dot grid4.ml + rm -f grid*.* diring*.* clique*.* er*.* +