![]() ![]() | ![]() |
version 1.101, 2013/02/23 12:39:44 | version 1.104, 2013/03/05 22:33:55 |
---|---|
Line 6 transformer le semop en non bloquant). | Line 6 transformer le semop en non bloquant). |
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. | Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
DIGEST | BUG : |
CIPHER | toto |
<< | |
// truc qui fait une erreur | |
>> | |
{ } forall | |
'toto' eval | |
next | |
EMSGSIZE dans les send() ! | EMSGSIZE dans les send() ! |