Closed srba closed 1 year ago
fixes https://bugs.launchpad.net/tapaal/+bug/2029137 with wrong k-bound in batch processing
fixes https://bugs.launchpad.net/tapaal/+bug/2029137 with wrong k-bound in batch processing