From d0de2f1a893ab58e6cf408422105b2d49739fd55 Mon Sep 17 00:00:00 2001
From: Gwennan Eliezer <gwennan.eliezer@etu.univ-grenoble-alpes.fr>
Date: Mon, 8 Jul 2019 15:16:45 +0200
Subject: [PATCH] Changed all 'add_int_true' to 'count_true_acc' (I forgot to
 change it everywhere)

---
 test/coloring/round.lus | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/test/coloring/round.lus b/test/coloring/round.lus
index e812f5db..1979ad73 100644
--- a/test/coloring/round.lus
+++ b/test/coloring/round.lus
@@ -97,7 +97,7 @@ tel
 -----------------------------------------------------------------------------
 node one_true (tab:bool^m^n) returns (res:bool);
 let
-  res = (((red<<add_int_true,n>>(0,tab)))=1);
+  res = (((red<<count_true_acc,n>>(0,tab)))=1);
 tel
 
 -----------------------------------------------------------------------------
@@ -109,13 +109,13 @@ tel
 -----------------------------------------------------------------------------
 node compt_move (tab_acti:bool^m^n) returns (nb_act:int);
 let
-  nb_act = 0 -> pre(nb_act) + (red<<add_int_true,n>>(0,tab_acti));    
+  nb_act = 0 -> pre(nb_act) + (red<<count_true_acc,n>>(0,tab_acti));    
 tel
 
 -----------------------------------------------------------------------------
 node is_distributed(acti,enab:bool^m^n) returns (res:bool);
 let
-  res = true ->  (((red<<add_int_true,n>>(0,acti))>=1) or silent<<m,n>>(enab)) and pre(res);
+  res = true ->  (((red<<count_true_acc,n>>(0,acti))>=1) or silent<<m,n>>(enab)) and pre(res);
 tel
 
 -----------------------------------------------------------------------------
-- 
GitLab