Merge branch 'emile' of gricad-gitlab.univ-grenoble-alpes.fr:baiocchg/salut into emile

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

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);