Skip to content
Snippets Groups Projects
Commit d0de2f1a authored by Gwennan Eliezer's avatar Gwennan Eliezer
Browse files

Changed all 'add_int_true' to 'count_true_acc' 

(I forgot to change it everywhere)
parent 35558ba7
No related branches found
No related tags found
1 merge request!8WIP: Resolve "Add Lustre oracles to all examples of the test directory"
Pipeline #26775 passed with warnings
Stage: build
    Stage: deploy
      Hide whitespace changes
      Inline Side-by-side
      Showing
      with 3 additions and 3 deletions
      test/coloring/round.lus
      + 3
      − 3
      View file @ d0de2f1a
      ...@@ -97,7 +97,7 @@ tel ...@@ -97,7 +97,7 @@ tel
      ----------------------------------------------------------------------------- -----------------------------------------------------------------------------
      node one_true (tab:bool^m^n) returns (res:bool); node one_true (tab:bool^m^n) returns (res:bool);
      let let
      res = (((red<<add_int_true,n>>(0,tab)))=1); res = (((red<<count_true_acc,n>>(0,tab)))=1);
      tel tel
      ----------------------------------------------------------------------------- -----------------------------------------------------------------------------
      ...@@ -109,13 +109,13 @@ tel ...@@ -109,13 +109,13 @@ tel
      ----------------------------------------------------------------------------- -----------------------------------------------------------------------------
      node compt_move (tab_acti:bool^m^n) returns (nb_act:int); node compt_move (tab_acti:bool^m^n) returns (nb_act:int);
      let 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 tel
      ----------------------------------------------------------------------------- -----------------------------------------------------------------------------
      node is_distributed(acti,enab:bool^m^n) returns (res:bool); node is_distributed(acti,enab:bool^m^n) returns (res:bool);
      let 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 tel
      ----------------------------------------------------------------------------- -----------------------------------------------------------------------------
      ......
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment