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: EngineAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: normal CC: ask
Priority: P2    
Version: 3.4.3   
Hardware: All   
OS: All   
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.