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

Bug 94

Summary: Unary plus is missing from the language
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: enhancement    
Priority: P2    
Version: unspecified   
Hardware: All   
OS: All   

Description Gerd Behrmann 2004-03-12 11:07:41 CET
ANCI C has an unary plus operator (for symmetry with the unary minus). UPPAAL
does not yet support this.
Comment 1 Gerd Behrmann 2004-03-12 11:08:15 CET
Will not be implemented in 3.4, but should be fixed in 3.5.
Comment 2 Gerd Behrmann 2004-04-27 11:39:13 CEST
Fix was so easy that I fixed it in 3.4 anyway. Fix has been checked into CVS.