version 1.110, 2013/03/11 13:45:53
|
version 1.111, 2013/03/12 16:16:24
|
Line 1
|
Line 1
|
RESTRICTIONS |
RESTRICTIONS |
Only formatted and flow files are supported. |
Only formatted and flow files are supported. |
|
|
|
Corriger toutes les ABS() sur des entiers pour tester le cas |
|
abs(-128) en 8 bits par exemple... |
|
|
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
|
|
Traiter l'échappement des guilles dans BACKSPACE par une machine à états. |
Traiter l'échappement des guilles dans BACKSPACE par une machine à états. |