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

Bug 290

Summary: Problem with array of clocks in parameters
Product: UPPAAL Reporter: Graziano Ciancio <graziano.c23>
Component: libutapAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 3.6 Alpha 5   
Hardware: PC   
OS: Windows XP   

Description Graziano Ciancio 2006-03-09 18:55:26 CET
Problem with array parameters : I can't declare array of clocks.
Comment 1 Gerd Behrmann 2006-03-09 20:44:40 CET
Obviously not a problem in the build system. Changing component.
Comment 2 Gerd Behrmann 2006-03-09 20:47:28 CET
Channels have the same problem.
Comment 3 Gerd Behrmann 2006-03-09 21:15:38 CET
Turns out that this problem was already fixed on the trunk.