This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Wed Apr 17 2024 18:43:57 CEST
Do not underestimate the power of the dark side!
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
649 UPPAAL T Engine adavid NEW --- Faulty strategy caused by invariants 2018-03-09
648 UPPAAL T Engine adavid NEW --- Engine does not detect non-determinism, if edges end in the same location 2018-02-28
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
559 UPPAAL T Engine adavid NEW --- GUI crashes when entering simulator 2013-09-16
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
491 UPPAAL T Engine adavid ASSI --- stepBack failed due to inconsistent blocking 2010-05-27
487 UPPAAL T Engine adavid ASSI --- Possible memory leak 2010-05-25
7 bugs found.

as

File a new bug in the "Engine" component of the "UPPAAL TIGA" product