Back to bug 308
Who | When | What | Removed | Added |
---|---|---|---|---|
behrmann | 2006-04-07 12:42:41 CEST | Hardware | PC | All |
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 | ||
Severity | normal | minor | ||
Status | NEW | ASSIGNED | ||
Component | Verification Engine | Engine | ||
OS | Linux | All | ||
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