Menu
▾
▴
#8 Auto-Create System Description (when generating for Uppaal)
When using Generation -> To UPPAAL-port, if the System Description has not been generated a dialog is shown:
"save description not found".
Suggestion 1:
Generate the save description automatically if none is found. (Perhaps a GENERATE | ABORT dialog first?)
Suggestion 2:
Always generate (a new) save description before generating to UPPAAL-port. The reasoning behind this is that "Generation to UPPAAL-port" is associated with the system that is opened, but if changes have been made and the System Description has not been regenerated than no changes will be made to the UPPAAL-port save file.
