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

Back to bug 643

Who When What Removed Added
marius 2017-09-14 13:00:34 CEST Status NEW ASSIGNED
Version 4.1.20-pre4 4.1.20-4
OS Windows 10 All
castro8583bennett 2018-08-30 09:25:32 CEST CC castro8583bennett
fmathi16 2019-10-16 11:02:14 CEST CC fmathi16

Back to bug 643