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