Back to bug 308
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| behrmann | 2006-04-07 12:42:41 CEST | Component | Verification Engine | Engine |
| Severity | normal | minor | ||
| Hardware | PC | All | ||
| OS | Linux | All | ||
| Status | NEW | ASSIGNED | ||
| Summary | different order of command line switches -t3 ant -o5 yields different behaviour | Different order of command line switches -t3 ant -o5 yields different behaviour | ||
| Product | UPPAAL CORA | UPPAAL | ||
| behrmann | 2006-05-09 14:11:31 CEST | Priority | P2 | P1 |
| behrmann | 2006-05-16 21:37:13 CEST | Status | ASSIGNED | RESOLVED |
| Resolution | --- | FIXED |
Back to bug 308