|Summary:||Repeated verification of models with out-of-range assignments trigger exception|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
|Version:||3.6 Beta 2|
Description Gerd Behrmann 2006-04-21 12:22:52 CEST
When verifying a model with out-of-range assigments, any property is reported to be maybe satisfied. However, repeating the verification causes a server exception dialog to be opened in the GUI. This is because the server prints an error message about the out-of-range assignment, which the GUI does not understand.
Comment 1 Gerd Behrmann 2006-04-24 14:00:29 CEST
Fixed on the trunk from rev. 1741.