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

Thu Mar 28 2024 09:46:21 CET
Shoot the bug! Shoot the bug!
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