Sat Dec 7 2019 19:50:23 CET
The smallest nuisance can be of greatest pain
Hide Search Description
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
One bug found.

as

File a new bug in the "GUI" component of the "UPPAAL" product