Diff for /rpl/LIMITATIONS between versions 1.152 and 1.153

version 1.152, 2014/07/24 14:38:43 version 1.153, 2014/07/26 09:58:02
Line 24  ABORT ne lance pas ATEXIT. Line 24  ABORT ne lance pas ATEXIT.
         { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"          { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
         "standard*(*)" ]> ]> }          "standard*(*)" ]> ]> }
   
 [[1 2 ]]3 valide  [[1 2 ]]3 valide OK
 [[ 1 2]] valide  [[ 1 2]] valide OK
 {{ 3 }} invalide  {{ 3 }} invalide OK
 { 5} invalide  { 5} invalide OK
 {5 } valide  {5 } valide OK
 {5} invalide  {5} invalide OK
 <[5 ]> valide  <[5 ]> valide OK
 <[ 5]> invalide  <[ 5]> invalide OK
 <[4 ]>5 valide  <[4 ]>5 valide OK
 {{ 5 } } valide  {{ 5 } } valide OK
 { { 5 }} invalide  { { 5 }} invalide OK
 "lkj"4 valide  "lkj"4 valide OK
   
 => Rajouter un champ dans s_etat_processus pour connaître le type d'objet en  {<[{5 } ]>} OK
 cours de typage et savoir quel est le fermant autorisé.  {<[{5 }]> } KO
   
   [ [ 4 ]] OK
   [[ 4 ]] OK
   [[ 4 ] ] OK
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.  Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
   
 Ajouter la translitération dans l'écriture des fichiers.  Ajouter la translitération dans l'écriture des fichiers.

Removed from v.1.152  
changed lines
  Added in v.1.153


CVSweb interface <joel.bertrand@systella.fr>