--- rpl/LIMITATIONS 2013/02/22 19:48:22 1.100 +++ rpl/LIMITATIONS 2013/03/05 22:33:55 1.104 @@ -6,6 +6,16 @@ transformer le semop en non bloquant). Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. +BUG : +toto +<< + // truc qui fait une erreur +>> + +{ } forall + 'toto' eval +next + EMSGSIZE dans les send() ! À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))