diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-01 15:31:27 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-01 15:31:27 +0700 |
| commit | 0c47d04c0b7b8096ea37300720165bb0b0c183d9 (patch) | |
| tree | bde5db58e098e82a4eb3cc60a18c96b7ce9aeb5d /src/misc/extra | |
| parent | 8de4d919d2add349f1ed7886b80108fbc9a9339e (diff) | |
| download | abc-0c47d04c0b7b8096ea37300720165bb0b0c183d9.tar.gz abc-0c47d04c0b7b8096ea37300720165bb0b0c183d9.tar.bz2 abc-0c47d04c0b7b8096ea37300720165bb0b0c183d9.zip | |
Important corner-case bug in SOP computation (recently introduced).
Diffstat (limited to 'src/misc/extra')
| -rw-r--r-- | src/misc/extra/extraBddMisc.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/misc/extra/extraBddMisc.c b/src/misc/extra/extraBddMisc.c index 0ec123f4..be6c03f1 100644 --- a/src/misc/extra/extraBddMisc.c +++ b/src/misc/extra/extraBddMisc.c @@ -1276,7 +1276,10 @@ static DdNode * extraBddCountCubes( DdManager * dd, DdNode * L, DdNode * U, st__ statLine(dd); if (L == zero) + { + *pnCubes = 0; return(zero); + } if (U == one) { *pnCubes = 1; |