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

Bug 641

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