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