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

Back to bug 222

Who When What Removed Added
behrmann 2005-11-14 17:33:02 CET Severity normal minor
Status NEW ASSIGNED
Summary Fastest trace error Fastest trace error
pavlidmh 2005-12-19 05:00:31 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 222