![]() ![]() | ![]() |
version 1.101, 2013/02/23 12:39:44 | version 1.102, 2013/03/04 13:00:26 |
---|---|
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 | |
CIPHER | BUG : |
toto | |
<< | |
// truc qui fait une erreur | |
>> | |
{ } forall | |
'toto' eval | |
next | |
EMSGSIZE dans les send() ! | EMSGSIZE dans les send() ! |