Fri Nov 15 2019 10:40:35 CET
Shoot the bug! Shoot the bug!
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
442 UPPAAL GUI adavid RESO DUPL Analysis for channel bounds violation ignores guard 2008-09-12
One bug found.

as

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