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

Bug 450

Summary: 64 character limit on template names
Product: UPPAAL Reporter: Jacob Illum <illum>
Component: EngineAssignee: Alexandre David <adavid>
Status: RESOLVED DUPLICATE    
Severity: normal    
Priority: P2    
Version: 4.0.6   
Hardware: All   
OS: All   
Architecture:

Description Jacob Illum 2008-10-29 10:48:14 CET
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.
Comment 1 Alexandre David 2008-10-29 11:24:14 CET

*** This bug has been marked as a duplicate of bug 421 ***