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

Fri Apr 19 2024 17:41:39 CEST
 Shoot the bug! Shoot the bug!
Hide Search Description
ID▼ Product Comp Assignee Status Resolution Summary Changed
560 UPPAAL C Verifica marius ASSI --- Infimum_Cost rising to "-1073741823" 2019-10-21
550 UPPAAL C Verifica marius ASSI --- rate and then also cost going negative / overflowing / ... 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
426 UPPAAL C Verifica marius ASSI --- Ignoring cost' annotations on synchronized processes 2019-10-21
4 bugs found.
CSV Feed iCal

as

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