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

Fix for bug lp:1987383, updating collection while iterating over it #56

Closed yrke closed 1 year ago

yrke commented 1 year ago

this code seem way out of place and wrong, the way the the update is done is wired. I guess the update is done due to a de-sync between the tapnNetwork and gui model, but fixing it this way seems crazy. Better would be to make sure the correct gui model is passed. The loop lookes even weirder now, but for the bugfix I just rewrote the loop to keep the same behaviour as before