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

Bug 204

Summary:	Crash when using record member to index arrays of channels
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	3.5.9
Hardware:	All
OS:	All
Architecture:
Attachments:	Minimal test case

Description Gerd Behrmann 2005-10-02 14:05:17 CEST

When having an array of channels, using a member of a record type to index the
array in a synchronisation causes a segfault.

Comment 1 Gerd Behrmann 2005-10-02 14:05:46 CEST

Created attachment 61 [details]
Minimal test case

Comment 2 Gerd Behrmann 2005-10-04 16:41:18 CEST

A fix has been checked into CVS.