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

fix a9293f329

Browse source 
* spot/twaalgos/alternation.cc: Always call ensure_weak_scc().
This commit is contained in:
Alexandre Duret-Lutz 2018-05-25 17:47:58 +02:00
parent b12eb0508f
commit be0997c97a
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/alternation.cc
View file

@ -158,7 +158,9 @@ namespace spot
assert(si_.is_accepting_scc(n)); assert(si_.is_accepting_scc(n));
// Catch unsupported types of automata // Catch unsupported types of automata
assert(!ensure_weak_scc(n)); bool rejecting = ensure_weak_scc(n);
assert(!rejecting);
(void) rejecting;
// Detect if it is a "true state" // Detect if it is a "true state"
unsigned s = si_.states_of(n).front(); unsigned s = si_.states_of(n).front();
auto& ss = g.state_storage(s); auto& ss = g.state_storage(s);