|Summary:||Missing error message on attempt to upload model with syntax errors|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
|Version:||3.6 Alpha 1|
Description Gerd Behrmann 2005-11-02 20:30:06 CET
In some cases the GUI asks to upload the model from the editor to the simulator. The same can be done by pressing F5. When the model contains syntax errors, the upload request is ignored. Instead a dialog box explaining why the model is not uploaded should be displayed.
Comment 1 Gerd Behrmann 2005-12-17 16:09:21 CET
Fixed on the trunk.