Tue Nov 19 2019 17:42:21 CET
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