alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

bloemen_ec: avoid leak when counterexample detected

Browse source 
* spot/mc/bloemen_ec.hh: Here.
This commit is contained in:
Etienne Renault 2020-06-09 16:36:32 +02:00
parent 6a12b77360
commit 13402a63c4
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
spot/mc/bloemen_ec.hh
View file

@ -563,6 +563,7 @@ namespace spot
// cycle found in SCC and it contains acceptance condition
if (twa_->acc().accepting(scc_acc))
{
sys_.recycle(it_kripke, tid_);
stop_ = true;
is_empty_ = false;
tm_.stop("DFS thread " + std::to_string(tid_));