search

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

Fixed glitched places having a .all initial marking #173

Closed tand00 closed 3 weeks ago

tand00 commented 4 weeks ago

After the PR https://github.com/TAPAAL/tapaal-gui/pull/159 that was made to fix a bug on arcs, a new bug was introduced (described in https://bugs.launchpad.net/tapaal/+bug/2080817).

It seems that reversing one of the changes of the PR fixes the new bug while keeping the first fixed