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

Tue Jul 27 2021 14:31:00 CEST
The smallest nuisance can be of greatest pain
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
473 UPPAAL Engine adavid RESO DUPL Segmentation fault in server 2009-08-04
One bug found.

as

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