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

fixup! IAR: Correct parity prefix

Browse source 
* spot/twaalgos/car.cc: Reduce the number of colors used by parity
prefix and check that it uses parity colors in apply_to_Buchi.
This commit is contained in:
Florian Renkin 2020-02-24 10:46:44 +01:00
parent 1b9acf32cf
commit 9ec0f6bd09
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/car.cc
View file

@ -690,7 +690,7 @@ public:
for (unsigned s = 0; s < buchi->num_states(); ++s) for (unsigned s = 0; s < buchi->num_states(); ++s)
{ {
unsigned b = g.state_storage(s).succ; unsigned b = g.state_storage(s).succ;
while(b) while (b)
{ {
auto& e = g.edge_storage(b); auto& e = g.edge_storage(b);
auto acc = e.acc; auto acc = e.acc;