Sat Dec 7 2019 20:08:17 CET
Bug season
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