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

Sat Jun 19 2021 17:02:59 CEST
The smallest nuisance can be of greatest pain
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
156 UPPAAL GUI behrmann RESO DUPL Syntax error in local declaration wrongly attributed to global declarations 2005-06-03
One bug found.


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