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 | Status | NEW | ASSIGNED |
| Severity | normal | major | ||
| 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