- Status: UNCONFIRMED, NEW, ASSIGNED, REOPENED
- Product: UPPAAL TIGA
- Component: Engine
| ID | Product | Comp | Assignee▲ | Status▲ | Resolution | Summary | Changed |
|---|---|---|---|---|---|---|---|
| 524 | UPPAAL T | Engine | adavid | NEW | --- | Simulator breaks when there is an invariant only on the right hand side of the refinement. | 2011-08-30 |
| 559 | UPPAAL T | Engine | adavid | NEW | --- | GUI crashes when entering simulator | 2013-09-16 |
| 623 | UPPAAL T | Engine | adavid | NEW | --- | Adding a guard to the receiving end of a broadcast sznchronization freezes the simulation (and the verifier) | 2016-10-19 |
| 648 | UPPAAL T | Engine | adavid | NEW | --- | Engine does not detect non-determinism, if edges end in the same location | 2018-02-28 |
| 649 | UPPAAL T | Engine | adavid | NEW | --- | Faulty strategy caused by invariants | 2018-03-09 |
| 487 | UPPAAL T | Engine | adavid | ASSI | --- | Possible memory leak | 2010-05-25 |
| 491 | UPPAAL T | Engine | adavid | ASSI | --- | stepBack failed due to inconsistent blocking | 2010-05-27 |
File a new bug in the "Engine" component of the "UPPAAL TIGA" product