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

remfin: ignore unreachable states in remove_fin_weak()

Browse source 
* spot/twaalgos/remfin.cc (remove_fin_weak): Ignore unreachable
states.  This caused crashes in the test cases for the
upcoming alternation support in ltlcross.
This commit is contained in:
Alexandre Duret-Lutz 2016-12-22 18:47:46 +01:00
parent 326431fd28
commit 64fa6c0026
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/remfin.cc
View file

@ -472,6 +472,8 @@ namespace spot
for (unsigned src = 0; src < n; ++src) for (unsigned src = 0; src < n; ++src)
{ {
if (!si.reachable_state(src))
continue;
acc_cond::mark_t acc = 0U; acc_cond::mark_t acc = 0U;
unsigned scc = si.scc_of(src); unsigned scc = si.scc_of(src);
if (si.is_accepting_scc(scc) && !si.is_trivial(scc)) if (si.is_accepting_scc(scc) && !si.is_trivial(scc))