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

Back to bug 386

Who When What Removed Added
behrmann 2007-01-25 20:55:30 CET Priority P2 P1
Severity normal major
Status NEW ASSIGNED
behrmann 2007-02-04 11:48:30 CET Summary segfault when querying for shortest trace to deadlock segfault when querying for shortest trace
behrmann 2007-02-04 12:08:26 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 386