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

Back to bug 661

Who When What Removed Added
fmathi16 2019-04-12 13:11:06 CEST Summary ArrayIndexOutOfBoundsException ArrayIndexOutOfBoundsException - Version 4.1.22
marius 2019-04-16 10:56:15 CEST Status NEW ASSIGNED
marius 2019-04-16 10:58:56 CEST OS Linux All
Version unspecified 4.1.22
marius 2019-10-02 12:10:38 CEST Resolution --- FIXED
Status ASSIGNED RESOLVED

Back to bug 661