rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.120, 2013/03/22 15:31:33	version 1.121, 2013/03/23 16:08:28
Line 6 RESTRICTIONS	Line 6 RESTRICTIONS
{ <[ <[ "character()" "standard()" ]> <[ "character()"	{ <[ <[ "character()" "standard()" ]> <[ "character()"
"standard()" ]> ]> }	"standard()" ]> ]> }

	Rechercher les '"' pour être sûr qu'on ne traite que les chaînes de caractères
	et non les guilles échappées. EN PARTICULIER REGARDE CE QUI SE PASSE DANS
	ANALYSE_NOTATION_ALGEBRIQUE.

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

Traiter correctement le cas FORALL dans BACKTRACE (Index et Limit)	Traiter correctement le cas FORALL dans BACKTRACE (Index et Limit)