|Summary:||Unary plus is missing from the language|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
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.