version 1.153, 2014/07/26 09:58:02
|
version 1.155, 2014/09/08 14:22:17
|
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 OK |
|
[[ 1 2]] valide OK |
|
{{ 3 }} invalide OK |
|
{ 5} invalide OK |
|
{5 } valide OK |
|
{5} invalide OK |
|
<[5 ]> valide OK |
|
<[ 5]> invalide OK |
|
<[4 ]>5 valide OK |
|
{{ 5 } } valide OK |
|
{ { 5 }} invalide OK |
|
"lkj"4 valide OK |
|
|
|
{<[{5 } ]>} OK |
|
{<[{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. |