The "Edit" -> "Convert syntax" menu option forgets two convert two things:
1. Template parameters are not converted from "const name" to "const int name".
2. Lists of constants (i.e. "const a 3, b 7;") are not converted fully, only the
first constant is converted in this case.
You can check it with the attached Uppaal 3.4 model.
Created attachment 45 [details]
Uppaal 3.4 model with a few constant definitions
Confirmed. Will be fixed in 3.5.8.
There is also a problem with integer parameters, e.g. 'int a' is not converted.
Comma separated parameters are not handled, e.g.
clock a, b, c
is not converted to "clock &a, clock &b, clock &c".
A fix has been checked into CVS.
A few corner cases remain, but I added a warning telling the user that the conversion is not perfect (but it
should be fine for most models).