Closed LenaSaid closed 1 year ago
Solves https://bugs.launchpad.net/tapaal/+bug/2024923
All other reported boundedness bugs have been checked.
Solves https://bugs.launchpad.net/tapaal/+bug/2024923
All other reported boundedness bugs have been checked.