--- rpl/LIMITATIONS 2012/12/21 12:09:50 1.99 +++ rpl/LIMITATIONS 2013/02/23 12:39:44 1.101 @@ -1,8 +1,14 @@ RESTRICTIONS 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. +DIGEST +CIPHER + EMSGSIZE dans les send() ! À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))