todo.org_archive

  :ARCHIVE_TIME: 2014-06-16 Mon 11:00
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: lus2lic -exec
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

 ../utils/test_lus2lic_no_node should_work/call07.lus

file:test/should_work/call07.lus

* TODO pb en utilisant -2c et -esa en meme temps
   - State "TODO"       from ""           [2014-07-04 Fri 16:16]
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-07-10 Thu 10:17
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: lus2lic -2C
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

 lus2lic should_work/modes3x2_v4.lus  -n modes3x2_v4 -esa -o xxx -2c

* TODO Lurette trouve un mismatch sur ce prog au step 1
   - State "TODO"       from ""           [2013-05-10 Fri 17:08]
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-08-07 Thu 12:27
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: lus2lic -exec
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

../utils/test_lus2lic_no_node should_work/pipeline.lus

file:test/should_work/pipeline.lus

* TODO Lurette trouve un mismatch sur ce prog au step 6
   - State "TODO"       from ""           [2013-05-10 Fri 17:08]
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-08-07 Thu 12:27
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: lus2lic -exec
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

file:test/should_work/deSimone.lus 

../utils/test_lus2lic_no_node should_work/deSimone.lus

* TODO Lurette trouve un mismatch sur ce prog au step 2
   - State "TODO"       from ""           [2013-05-10 Fri 17:08]
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-08-07 Thu 12:27
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: lus2lic -exec
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
../utils/test_lus2lic_no_node should_work/test.lus

file:test/should_work/test.lus

* TODO le traitement du condact ne marche plus
   - State "TODO"       from ""           [2014-06-27 Fri 15:26]
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-08-07 Thu 16:15
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: lus2lic -exec
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
depuis le 2eme commit  du 18-06-2014

 lus2lic should_work/test_condact.lus -n test_condact  -exec


once the activation condition has been  true, and when it is false it
returns the default value instead of the previous one.
* TODO Use severale machine to launch tests in paralell 
  - State "TODO"       from ""           [2014-08-14 Thu 11:23]
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-08-22 Fri 10:38
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Testing process
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
* TODO Traiter TOUS les warnings !!!
  - State "TODO"       from ""           [2014-08-13 Wed 17:33]
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-08-26 Tue 10:19
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Divers
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
* TODO lus2lic genere du ec mal typé !!
   - State "TODO"       from ""           [2013-05-10 Fri 17:24]
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-09-03 Wed 11:04
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Testing process
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

 ../utils/test_lus2lic_no_node should_work/predef03.lus

* TODO pour ceux la ils suffit d'expanser. Comment eviter que les tests echouent ?
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-09-03 Wed 11:04
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Testing process
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
- lus2lic -2c should_work/activation2.lus -n activation2
- lus2lic -2c should_work/activation1.lus -n activation1
- lus2lic -2c should_work/asservi.lus -n asservi
- lus2lic -2c should_work/speedcontrol.lus -n speedcontrol
* TODO pb d'horloge
   - State "TODO"       from ""           [2014-08-13 Wed 17:33]
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-09-03 Wed 11:07
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Divers
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
#+BEGIN_SRC lustre
node xxx(x:int;c:bool) returns (res1,res2:int);
var
  y:int when c; 
  k:int when c;
let
  y = x when c;
  k = (0 fby (k+1)) when c ;-- erreur ici, alors que ca semble bon
  res1 = current(y);
  res2 = current(k);
tel
#+END_SRC

clock error: ' on c on base' is not a sub-clock of ' on base'
en plus le message est bizzare

D'une maniere generale, les messages d'erreur en cas de pb d'horloge sont vraiment mauvais.

-> non, en fait, le when c ne sert a rien piur definir le k.
* TODO msg d'erreur un peu mauvais sur ce programme
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-09-03 Wed 11:11
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Divers
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

#+begin_src lustre
node argos_oracle(a:bool;b:bool;s0:bool;s1:bool;s2:bool) returns(ok:bool;s0_bis:bool;s1_bis:bool;s2_bis:bool);
let
  (s0_bis,s1_bis,s2_bis) = argos(a,b);
s0=s0_bis;
  s1=s1_bis;
  s2=s2_bis;
tel;
#+end_src

-> ah bon ? bof.

* TODO ce noeud ne compile pas en mode -ec
   - State "TODO"       from ""           [2013-04-17 Wed 15:51]
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-09-03 Wed 11:12
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Divers
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

#+begin_src lustre
node trivial3(e: int ^2) returns (x: int ^6);
var
  c: int ^6;
let
  c = e|e|e;
  x[0..2] = c[3..5];
  x[3..5] = c[0..2];
 
tel
#+end_src

-> maintenant si

* TODO pb en mode -esa avec les itérateurs
   - State "TODO"       from ""           [2014-06-05 Thu 10:00]
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-09-03 Wed 11:14
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Divers
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:
lus2lic  should_work/minus.lus -n minus  -esa
lus2lic should_work/normal.lus -n normal -esa

-> plus maintenant

* TODO divergence -exec et -2c (1)
   - State "TODO"       from ""           [2014-07-11 Fri 12:02]
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-09-04 Thu 14:42
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: Failures spotted by non reg tests (13)
  :ARCHIVE_CATEGORY: lv6
  :ARCHIVE_TODO: TODO
  :END:

grep "FAIL:" lus2lic*.log | grep "exec" | grep "\-2c" | sed s/'FAIL: Try to compare lus2lic -exec and -2c:'/-/

1) ../utils/compare_exec_and_2c should_work/PCOND.lus 48319 
  Failure occured in lurette: The oracle first output should be a bool;
  but ok has type nil

* A option to inline the simple nodes such as AND, OR, NOT etc.
  :PROPERTIES:
  :ARCHIVE_TIME: 2014-10-01 Wed 17:31
  :ARCHIVE_FILE: ~/lus2lic/todo.org
  :ARCHIVE_OLPATH: a classer/Willie's wishes
  :ARCHIVE_CATEGORY: lv6
  :END: