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

[buddy] fix cache index of bdd_forall

Browse source 
Fix a 20 year old typo that caused a bug reported by Guillermo Perez.

* src/bddop.c (bdd_forall, bdd_forallcomp): Fix the cache index.
This commit is contained in:
Alexandre Duret-Lutz 2023-07-31 21:07:07 +02:00
parent de7d5a956f
commit e37bc9e1ae
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
buddy/src/bddop.c
View file

@ -2300,7 +2300,7 @@ RETURN {* The quantified BDD. *}
*/
BDD bdd_forall(BDD r, BDD var)
{
return quantify(r, var, bddop_and, 0, CACHEID_EXIST);
return quantify(r, var, bddop_and, 0, CACHEID_FORALL);
}
/*
@ -2315,7 +2315,7 @@ RETURN {* The quantified BDD. *}
*/
BDD bdd_forallcomp(BDD r, BDD var)
{
return quantify(r, var, bddop_and, 1, CACHEID_EXISTC);
return quantify(r, var, bddop_and, 1, CACHEID_FORALLC);
}