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: libutapAssignee: 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'.