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

Bug 387 - Exception when opening new model
Summary: Exception when opening new model
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.2
Hardware: PC Mac OS
: P1 minor
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2007-01-28 21:14 CET by Claus Thrane
Modified: 2007-03-02 20:45 CET (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.