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

Bug 387

Summary:	Exception when opening new model
Product:	UPPAAL	Reporter:	Claus Thrane <crt>
Component:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	ASSIGNED ---
Severity:	minor
Priority:	P1
Version:	4.0.2
Hardware:	PC
OS:	Mac OS
Architecture:

Description Claus Thrane 2007-01-28 21:14:48 CET

Whenever a model is running randomly in the simulator, opening another (existing) model while the first is running will result in a thrown exception:

Internal Error
Caught unexpected java.Lang.IndexOutOfBoundsException: bitIndex < 0 : -2

Comment 1 Gerd Behrmann 2007-02-25 13:11:47 CET

The problem seems to be difficult to reproduce, although I did manage to reproduce it under Mac OS X with version 4.0.5. I have not been able to reproduce it under Linux.