rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.125, 2013/03/24 22:06:09	version 1.133, 2013/04/01 14:04:43
Line 1	Line 1
RESTRICTIONS	RESTRICTIONS
Only formatted and flow files are supported.

mutex foireux : mutex_creation_variable_partagee f1:554	Réduire le nombre de pipes entre deux processus.
variables_partagee 466 verrouillé.	Remonter une erreur de format en cas de lecture sur un fichier ou une socket
variables_partagee 523 verrouillé.	formatée ou non formatée.

{ <[ 2 { "character()" } ]> } = { <[ "character()" "character()" ]> }	{ <[ 2 { "character()" } ]> } = { <[ "character()" "character()" ]> }
{ <[ 2 { <[ "character()" "standard()" ]> } ]> } =	{ <[ 2 { <[ "character()" "standard()" ]> } ]> } =
{ <[ <[ "character()" "standard()" ]> <[ "character()"	{ <[ <[ "character()" "standard()" ]> <[ "character()"
"standard()" ]> ]> }	"standard()" ]> ]> }

	[[1 2 ]]3 valide
	[[ 1 2]] valide
	{{ 3 }} invalide
	{ 5} invalide

Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.	Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.

Ajouter la translitération dans l'écriture des fichiers.	Ajouter la translitération dans l'écriture des fichiers.