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

Bug 672

'672' is not a valid bug number nor a known bug alias.