This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 338

Summary:	does not allow empty initialisation expression in "for" loop
Product:	UPPAAL	Reporter:	Marius Mikučionis <marius>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	ASSIGNED ---
Severity:	enhancement
Priority:	P2
Version:	4.0.1
Hardware:	PC
OS:	All
Architecture:

Description Marius Mikučionis 2006-07-12 18:56:47 CEST

e.g. the following gives syntax error:
int j=1, i=1;
for ( ; i<5 ; ++i) j*=i;

Comment 1 Gerd Behrmann 2006-07-13 10:20:59 CEST

I do not recall this being valid UPPAAL syntax. Reducing severity to 'enhancement'.