luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Bug fixes in CUDD 2.4.2.

This commit is contained in:
Alan Mishchenko 2011-12-06 07:32:17 -08:00
parent b743298cd5
commit a24e678a79
2 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/bdd/cudd/cuddBddAbs.c
View File

@ -434,8 +434,10 @@ cuddBddExistAbstractRecur(
Cudd_IterDerefBdd(manager, res2); Cudd_IterDerefBdd(manager, res2);
return(NULL); return(NULL);
} }
cuddDeref(res1); cuddRef(res); //Added
cuddDeref(res2); Cudd_IterDerefBdd(manager, res1); //cuddDeref(res1);
Cudd_IterDerefBdd(manager, res2); //cuddDeref(res2);
cuddDeref(res); //Added
if (F->ref != 1) if (F->ref != 1)
cuddCacheInsert2(manager, Cudd_bddExistAbstract, f, cube, res); cuddCacheInsert2(manager, Cudd_bddExistAbstract, f, cube, res);
return(res); return(res);

4
src/bdd/cudd/cuddInteract.c
View File

@ -193,10 +193,10 @@ cuddTestInteract(
int x, int x,
int y) int y)
{ {
int posn, word, bit, result; long posn, word, bit, result;
if (x > y) { if (x > y) {
int tmp = x; long tmp = x;
x = y; x = y;
y = tmp; y = tmp;
} }