Return to LIMITATIONS CVS log | Up to [local] / rpl |
version 1.99, 2012/12/21 12:09:50 | version 1.100, 2013/02/22 19:48:22 |
---|---|
Line 1 | Line 1 |
RESTRICTIONS | RESTRICTIONS |
Only formatted and flow files are supported. | Only formatted and flow files are supported. |
Mettre un sémaphore pour sem_wait_SysV() (post dans le gestionnaire de signaux, | |
transformer le semop en non bloquant). | |
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. | Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
EMSGSIZE dans les send() ! | EMSGSIZE dans les send() ! |