rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.100, 2013/02/22 19:48:22	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.

	BUG :
	toto
	<<
	// truc qui fait une erreur
	>>

	{ } forall
	'toto' eval
	next

EMSGSIZE dans les send() !	EMSGSIZE dans les send() !

À FAIRE : SOCKET DE TYPE FLOW (LENGTH() ET LENGTH*(N))	À FAIRE : SOCKET DE TYPE FLOW (LENGTH() ET LENGTH*(N))