In the attached model, UPPAAL detects a syntax error in the NormalEmergent
template, although the inline if should be ok.
Created attachment 12 [details]
UPPAAL model demonstrating the problem
Actually, there are two problems:
- only part of the inline if is underlined, and
- we get an errouneous syntax error.
A fix has been checked into CVS.