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:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	3.6 Alpha 5
Hardware:	PC
OS:	Windows XP
Architecture:

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.