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

Back to bug 636

Who When What Removed Added
marius 2017-09-14 13:05:38 CEST Severity enhancement normal
Priority P5 P4
Status NEW ASSIGNED
marius 2019-10-02 15:01:10 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 636