version 1.153, 2014/07/26 09:58:02
|
version 1.157, 2015/01/05 14:04:23
|
Line 2 RESTRICTIONS
|
Line 2 RESTRICTIONS
|
|
|
Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h |
Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h |
|
|
Ajouter EQV |
|
|
|
Ne passe pas sur une socket. |
Ne passe pas sur une socket. |
{ "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52 |
{ "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52 |
} { 3 50 } { 3 50 } } # 257B521B6513F2h } |
} { 3 50 } { 3 50 } } # 257B521B6513F2h } |
Line 24 ABORT ne lance pas ATEXIT.
|
Line 22 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. |