Change of range in product - fix 2037066

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

https://www.tapaal.net

3 stars 11 forks source link

Closed mtygesen closed 11 months ago

mtygesen commented 11 months ago

Fixed bug where the arc was not updated when changing integer range
Propogated integer range to transition guard
Added error message when trying to add a new color type with a similar integer range as an existing type