--- rpl/LIMITATIONS 2013/02/23 12:39:44 1.101 +++ rpl/LIMITATIONS 2013/03/04 13:00:26 1.102 @@ -6,8 +6,16 @@ transformer le semop en non bloquant). Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. -DIGEST -CIPHER + +BUG : +toto +<< + // truc qui fait une erreur +>> + +{ } forall + 'toto' eval +next EMSGSIZE dans les send() !