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

* src/tgbaalgos/remfin.cc: Purge unreachable states.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-02-26 17:44:47 +01:00
parent f93fc98655
commit 58da54e79a
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tgbaalgos/remfin.cc
View file

@ -327,6 +327,7 @@ namespace spot
} }
res->purge_unreachable_states();
trace << "before cleanup: " << res->get_acceptance() << '\n'; trace << "before cleanup: " << res->get_acceptance() << '\n';
cleanup_acceptance(res); cleanup_acceptance(res);
trace << "after cleanup: " << res->get_acceptance() << '\n'; trace << "after cleanup: " << res->get_acceptance() << '\n';