![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to LIMITATIONS CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [local] / rpl|
Return to LIMITATIONS CVS log | Up to [local] / rpl |
| version 1.96, 2012/12/17 21:22:43 | version 1.98, 2012/12/20 15:32:52 |
|---|---|
| Line 1 | Line 1 |
| RESTRICTIONS | RESTRICTIONS |
| Only formatted and flow files are supported. | Only formatted and flow files are supported. |
| Vérifier que liste_variables() renvoie bien les variables partagées. Idem pour | SQLITE_BUSY et SQLITE_LOCKED sur toutes les fonctions utilisant sqlite. |
| nombre_variables | |
| Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. | Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |