rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.97, 2012/12/18 10:20:24	version 1.104, 2013/03/05 22:33:55
Line 1	Line 1
RESTRICTIONS	RESTRICTIONS
Only formatted and flow files are supported.	Only formatted and flow files are supported.

	Mettre un sémaphore pour sem_wait_SysV() (post dans le gestionnaire de signaux,
	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))