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

Thu Mar 28 2024 14:26:26 CET
Bug season
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
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
559 UPPAAL T Engine adavid NEW --- GUI crashes when entering simulator 2013-09-16
487 UPPAAL T Engine adavid ASSI --- Possible memory leak 2010-05-25
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
7 bugs found.

as

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