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

Thu Mar 28 2024 21:25:18 CET
Bug season
Hide Search Description
11 bugs found.
ID Product Comp Assignee Status Resolution Summary Changed
608 UPPAAL S Engine marius ASSI --- GUI crashes due to JavaSoft Prefs failure 2016-10-18
619 UPPAAL S Engine marius ASSI --- TIGA can break SMC semantics for branching edges 2017-03-15
633 UPPAAL S Engine marius ASSI --- TIGA properties cannot be checked for systems with strict invariants for learning queries. 2019-01-25
638 UPPAAL S Engine marius ASSI --- Segfault when verifying cruise.xml example queries 2019-01-25
640 UPPAAL S Engine marius ASSI --- SMC reports Lookup of a state outside the strategy when run under a tiga strategy 2019-01-25
643 UPPAAL S Engine marius ASSI --- Error (Bug: Ok expected) 2019-10-16
644 UPPAAL S Engine marius ASSI --- Error (For input string: "13830554455654793216") 2017-09-14
669 UPPAAL S Engine marius ASSI --- Variables not sent to simulator 2019-11-05
620 UPPAAL S Engine pgj ASSI --- optimization query breaks with time-lock where there isn't one 2020-10-13
632 UPPAAL S Engine pgj ASSI --- resulting strategy does not depend on the timing 2017-04-07
677 UPPAAL S Engine pgj NEW --- Array not unfolded in strategy when using statevars and pointvars 2020-04-28
11 bugs found.

as

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