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

Back to bug 223

Who When What Removed Added
behrmann 2005-11-19 18:37:57 CET Summary verifyta and gui using server report different results to the attached system verifyta and gui using server report different results to the attached system
Status NEW ASSIGNED
behrmann 2005-11-19 18:44:42 CET Summary verifyta and gui using server report different results to the attached system Invalid verification results when using Compact Data Structure
behrmann 2005-11-19 18:48:30 CET Attachment #70 Attachment is obsolete 0 1
behrmann 2005-11-19 18:49:29 CET Attachment #72 Attachment is obsolete 0 1
behrmann 2005-11-19 18:58:02 CET Assignee behrmann adavid
Status ASSIGNED NEW
behrmann 2005-11-21 21:29:33 CET Status NEW RESOLVED
Resolution --- FIXED

Back to bug 223