Fri Sep 20 2019 19:02:01 CEST
Use the source Luke!
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
471 UPPAAL libutap adavid CLOS DUPL typechecker does not check ranges of constant expressions 2010-05-25
One bug found.

as

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