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

expansions: fusion can produce false

Browse source 
let's discard the result if it's false
This commit is contained in:
Antoine Martin 2024-10-23 14:00:15 +02:00
parent 1deb2ccb02
commit 4f169ad632
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/tl/expansions.cc
View file

@ -722,7 +722,10 @@ namespace spot
if ((li & kj) != bddfalse)
res.push_back({li & kj, fj});
}
res.push_back({li, formula::Fusion({ei, F})});
formula ei_fusion_F = formula::Fusion({ei, F});
if (!ei_fusion_F.is(op::ff))
res.push_back({li, ei_fusion_F});
}
finalize(res, opts, d, seen);