--- rpl/LIMITATIONS 2012/12/18 10:20:24 1.97 +++ rpl/LIMITATIONS 2013/03/06 13:21:23 1.105 @@ -1,9 +1,10 @@ RESTRICTIONS Only formatted and flow files are supported. -Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. +Mettre un sémaphore pour sem_wait_SysV() (post dans le gestionnaire de signaux, +transformer le semop en non bloquant). -EMSGSIZE dans les send() ! +Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) SOCKET NON FORMATÉS @@ -25,8 +26,6 @@ avec un trylock()). rplss signal processus -Rajouter le format dans formateur_flux() (pour les fichiers de type flow). - Économisons notre mépris eut égard au nombre de nécessiteux. Chateaubriand.