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

Bug 295

Summary: Saving empty traces throws an exception
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: minor CC: saulius
Priority: P2    
Version: 3.6 Alpha 5   
Hardware: All   
OS: All   

Description Gerd Behrmann 2006-03-19 10:38:07 CET
On attempting to save an empty trace (with no system loaded) from the simulator, an ArrayIndexOutOfBoundsException is thrown.
Comment 1 Gerd Behrmann 2006-03-19 19:08:23 CET
Resolved on the trunk from rev. 1672.