Back to bug 175

Who When What Removed Added
hanssen 2005-07-13 17:10:03 CEST Attachment #48 Attachment mime type text/plain text/xml
hanssen 2005-07-13 17:10:30 CEST Attachment #49 Attachment mime type application/octet-stream text/plain
behrmann 2005-07-13 17:22:22 CEST Severity normal major
Status NEW ASSIGNED
behrmann 2005-07-13 18:48:34 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED
Summary verifyta segfaults on specific model and query Segfault when using clock expressions in liveness properties

Back to bug 175