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

Bug 366 - Newly inserted templates have no initial state
Summary: Newly inserted templates have no initial state
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: All All
: P3 enhancement
Assignee: Gerd Behrmann
Depends on:
Reported: 2006-11-02 10:49 CET by Thomas Chatain
Modified: 2008-04-18 18:04 CEST (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Thomas Chatain 2006-11-02 10:49:22 CET
Any template must have an initial state. So why not having it by default when a template is inserted? This would be more consistent, since the template that is displayed when UPPAAL starts has an initial state.
Comment 1 Gerd Behrmann 2006-11-02 11:09:52 CET
This has been requested several times in the past, so let's add it.
Comment 2 Marius Mikučionis 2008-04-18 18:04:42 CEST
fixed on rev. 3526