--- rpl/LIMITATIONS 2012/12/21 12:09:50 1.99 +++ rpl/LIMITATIONS 2013/02/22 19:48:22 1.100 @@ -1,6 +1,9 @@ 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. EMSGSIZE dans les send() !