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:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	minor	CC:	saulius
Priority:	P2
Version:	3.6 Alpha 5
Hardware:	All
OS:	All
Architecture:

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.