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

Back to bug 389

Who When What Removed Added
behrmann 2007-02-04 12:20:36 CET CC dierks
behrmann 2007-02-04 12:20:43 CET Status NEW ASSIGNED
behrmann 2007-02-04 12:24:20 CET Severity normal major
Priority P2 P1
Summary Crash during trace generation Crash during concrete trace generation
behrmann 2007-05-13 18:11:31 CEST Priority P1 P2

Back to bug 389