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

Wed Apr 17 2024 16:41:02 CEST
Shoot the bug! Shoot the bug!
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
450 UPPAAL Engine adavid RESO DUPL 64 character limit on template names 2008-10-29
One bug found.

as

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