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

Bug 82

Summary:	Erroneous syntax errors with inline if
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	normal	CC:	ask
Priority:	P2
Version:	3.4.3
Hardware:	All
OS:	All
Architecture:
Attachments:	UPPAAL model demonstrating the problem

Description Gerd Behrmann 2004-01-14 11:45:29 CET

In the attached model, UPPAAL detects a syntax error in the NormalEmergent
template, although the inline if should be ok.

Comment 1 Gerd Behrmann 2004-01-14 11:45:51 CET

Created attachment 12 [details]
UPPAAL model demonstrating the problem

Comment 2 Gerd Behrmann 2004-01-14 13:50:35 CET

Actually, there are two problems: 

- only part of the inline if is underlined, and 
- we get an errouneous syntax error.

Comment 3 Gerd Behrmann 2004-01-14 14:35:05 CET

A fix has been checked into CVS.