Return to LIMITATIONS CVS log | Up to [local] / rpl |
version 1.90, 2012/09/30 20:46:46 | version 1.99, 2012/12/21 12:09:50 |
---|---|
Line 1 | Line 1 |
RESTRICTIONS | RESTRICTIONS |
Only formatted and flow files are supported. | Only formatted and flow files are supported. |
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. | |
EMSGSIZE dans les send() ! | |
À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) | À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) |
SOCKET NON FORMATÉS | SOCKET NON FORMATÉS |