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: EngineAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 3.5.9   
Hardware: All   
OS: All   
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.