First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 366
Product:
Component:
Status: ASSIGNED
Resolution:
Assigned To: Gerd Behrmann <behrmann@cs.aau.dk>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: Thomas Chatain <chatain@cs.aau.dk>
Add CC:
CC:
URL:
Summary:

Attachment Type Creator Created Size Actions
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 366 depends on: Show dependency tree
Show dependency graph
Bug 366 blocks:
Votes: 0    Show votes for this bug    Vote for this bug

Additional Comments:








View Bug Activity   |   Format For Printing   |   XML   |   Clone This Bug

Description:   Opened: 2006-11-02 10:49 
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 From Gerd Behrmann 2006-11-02 11:09:52 ------- 
This has been requested several times in the past, so let's add it.

------- Comment #2 From Marius Mikucionis 2008-04-18 18:04:42 ------- 
fixed on rev. 3526
First Last Prev Next    No search results available      Search page      Enter new bug