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

Back to bug 253

Who When What Removed Added
ranab 2006-01-31 22:43:24 CET Severity minor blocker
behrmann 2006-02-01 09:37:50 CET Severity blocker normal
Status NEW ASSIGNED
Component Engine libutap
OS Windows NT All
Priority P2 P1
Hardware PC All
Version unspecified 3.6 Alpha 4
behrmann 2006-02-05 19:24:08 CET Status ASSIGNED RESOLVED
Resolution --- FIXED
Summary if conditional as invariant Syntax errors in invariant cause crash

Back to bug 253