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

Back to bug 527

Who When What Removed Added
marius 2019-11-15 10:33:09 CET CC marius
Assignee adavid marius
marius 2019-11-25 12:01:50 CET Resolution --- INVALID
Status NEW RESOLVED

Back to bug 527