|Summary:||Exception when opening new model|
|Product:||UPPAAL||Reporter:||Claus Thrane <crt>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
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.