Fri Nov 15 2019 10:37:39 CET
verifier
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
426 UPPAAL C Verifica marius ASSI --- Ignoring cost' annotations on synchronized processes 2019-10-21
445 UPPAAL C Verifica marius ASSI --- In the simulator the infimum_cost is changing strangly according to the rate 2019-11-04
550 UPPAAL C Verifica marius ASSI --- rate and then also cost going negative / overflowing / ... 2019-10-21
560 UPPAAL C Verifica marius ASSI --- Infimum_Cost rising to "-1073741823" 2019-10-21
4 bugs found.

as

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