From 152cc3d097984b8e9331b27aced68bcfa7589c84 Mon Sep 17 00:00:00 2001
From: Guillaume Emile <emile.guillaume@etu.univ-grenoble-alpes.fr>
Date: Thu, 21 Jul 2022 11:36:41 +0200
Subject: [PATCH] Add kclustering in test and fix tipo
---
test/Makefile | 2 ++
test/dijkstra-ring/verify.lus | 2 +-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/test/Makefile b/test/Makefile
index 44f909d6..59e43fef 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -5,6 +5,7 @@ test:
cd unison/ && make clean && make test && make clean
cd bfs-spanning-tree/ && make clean && make test && make clean
cd rsp_tree/ && make clean && make test && make clean
+ cd kclustering/ && make clean && make test && make clean
echo "Every test went fine!"
clean:
@@ -13,6 +14,7 @@ clean:
cd unison/ && make clean
cd bfs-spanning-tree/ && make clean
cd rsp_tree/ && make clean
+ cd kclustering/ && make clean
compare:
cd coloring/ && make compare_seed
diff --git a/test/dijkstra-ring/verify.lus b/test/dijkstra-ring/verify.lus
index 134c4e62..3f6ac404 100644
--- a/test/dijkstra-ring/verify.lus
+++ b/test/dijkstra-ring/verify.lus
@@ -24,7 +24,7 @@ let
assert(config = init_config -> true);
-- stability in this algo means mutual exclusion: exactly 1 node is enabled at a time
- legitimate = legitimate<<actions_number,card>>(enables,config);
+ legitimate = legitimate<<actions_number,card>>(enabled,config);
at_least_1 = n_or <<card>>(map<<n_or<<actions_number>>,card>> (enabled));
closure = true -> (pre(legitimate) => legitimate);
--
GitLab