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

Back to bug 398

Who When What Removed Added
gunman 2007-02-28 10:35:10 CET Attachment #147 Attachment is obsolete 0 1
behrmann 2007-02-28 16:27:44 CET Status NEW ASSIGNED
behrmann 2007-02-28 21:46:08 CET Severity normal critical
OS Linux All
Priority P2 P1
Hardware PC All
Summary Memory doesnt get flushed Memory leak when generating shortest or fastest traces
behrmann 2007-02-28 21:46:26 CET Severity critical major
behrmann 2007-05-13 18:09:04 CEST Priority P1 P2

Back to bug 398