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

Bug 214

Summary: Missing error message on attempt to upload model with syntax errors
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal CC: illum
Priority: P1    
Version: 3.6 Alpha 1   
Hardware: All   
OS: All   
Architecture:

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.