rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.124, 2013/03/24 13:42:44	version 1.132, 2013/03/27 21:31:22
Line 1	Line 1
RESTRICTIONS	RESTRICTIONS
Only formatted and flow files are supported.
	Mettre le drapeau de debug dans la pile système pour pouvoir sauter
	les fonctions appelées lors d'un HALT/CONT.
	Réduire le nombre de pipes entre deux processus.

{ <[ 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.