Closed LenaSaid closed 2 years ago
When unfolding a net with an LTL query containing the exists-path, the query will not be removed anymore.
Solves https://bugs.launchpad.net/tapaal/+bug/1983371
When unfolding a net with an LTL query containing the exists-path, the query will not be removed anymore.
Solves https://bugs.launchpad.net/tapaal/+bug/1983371