Thu Sep 19 2019 17:10:47 CEST
Do not underestimate the power of the dark side!
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
522 UPPAAL T Engine adavid NEW --- Strange error message (number format exception) 2011-08-15
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
8 bugs found.

as

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