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

Back to bug 676

Who When What Removed Added
marius 2019-12-19 17:53:07 CET Severity normal critical
marius 2020-01-08 11:55:45 CET Status NEW ASSIGNED

Back to bug 676