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

Back to bug 621

Who When What Removed Added
jinghaos 2016-10-12 00:14:31 CEST Severity enhancement blocker
Summary NullPointerException in GUI, verifyta works fine NullPointerException in GUI; verifyta works fine
marius 2017-02-22 14:25:49 CET Status NEW ASSIGNED
Priority P5 P3
Severity blocker enhancement
marius 2019-03-23 12:00:49 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 621