--- rpl/LIMITATIONS 2012/12/20 15:32:52 1.98 +++ rpl/LIMITATIONS 2013/02/23 12:39:44 1.101 @@ -1,10 +1,14 @@ RESTRICTIONS Only formatted and flow files are supported. -SQLITE_BUSY et SQLITE_LOCKED sur toutes les fonctions utilisant sqlite. +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))