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

Back to bug 498

Who When What Removed Added
adavid 2010-10-13 17:27:53 CEST Status NEW ASSIGNED
mmajid 2010-10-19 14:47:20 CEST Attachment #233 Attachment description The model with this problem A dummy model with this problem.
mmajid 2010-10-19 14:51:01 CEST Attachment #233 Attachment is obsolete 0 1

Back to bug 498