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

alternation: fix bug introduced in oe_combiner

Browse source 
turns out sometimes we want to account for bddfalse
This commit is contained in:
Antoine Martin 2022-09-30 01:25:45 +02:00
parent 66f0ab85d0
commit 2d11d907ef
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/twaalgos/alternation.cc
View file

@ -83,8 +83,7 @@ namespace spot
e.cond = bddfalse; e.cond = bddfalse;
} }
if (res2 != bddfalse) res &= res2;
res &= res2;
} }
return res; return res;
} }