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: GUIAssignee: 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.