ID | Product | Comp | Assignee▲ | Status▼ | Resolution | Summary▲ | Changed▲ |
---|---|---|---|---|---|---|---|
426 | UPPAAL C | Verifica | marius | ASSI | --- | Ignoring cost' annotations on synchronized processes | 2019-10-21 |
550 | UPPAAL C | Verifica | marius | ASSI | --- | rate and then also cost going negative / overflowing / ... | 2019-10-21 |
560 | UPPAAL C | Verifica | marius | ASSI | --- | Infimum_Cost rising to "-1073741823" | 2019-10-21 |
445 | UPPAAL C | Verifica | marius | ASSI | --- | In the simulator the infimum_cost is changing strangly according to the rate | 2019-11-04 |
File a new bug in the "Verification Engine" component of the "UPPAAL CORA" product