TAPAAL

  1. Bug #2038418
  2. Comment #2

Comment 2 for bug 2038418

Revision history for this message
Jiri Srba (srba) wrote :

Indeed, removing the code above solves the problem with the initial marking but reintroduces this bug: https://bugs.launchpad.net/tapaal/+bug/2016304