There seems to be a 64 character limit on templates names in Uppaal. If possible I would like to have this removed.
If not Uppaal should complain when you type a longer name for the template, as it is now, Uppaal won't complain until you instantiate a system, and here the issues has two variants.
Assume a long name: TName...long, where 'TName...' is the name up to 64 chars, and 'long' is the rest.
1. If you instantiate an automaton as: 'A = TName...long();' you get the error 'No such template.
2. If you instead write 'system TName...long;' you get 'No such process TName...', where 'long' has just been truncated.
I suggest that either the restriction is removed, or an error is given where the long template name is given.
I have not submitted this as an enhancement, as I consider the error reporting a bug.
*** This bug has been marked as a duplicate of bug 421 ***