- Changed: (is greater than or equal to) 7d
- Creation date: (changed after) 7d
| ID | Product | Comp▲ | Assignee▲ | Status▲ | Resolution | Summary | Changed▲ |
|---|---|---|---|---|---|---|---|
| 675 | UPPAAL | GUI | marius | NEW | --- | Shows deadlock in simulator but model does not contain deadlock | Mon 12:07 |
File a new bug in the "GUI" component of the "UPPAAL" product