Important corner-case bug in SOP computation (recently introduced).

0c47d04c · Alan Mishchenko · 8de4d919 · 0c47d04c
Commit 0c47d04c authored Apr 01, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

src/misc/extra/extraBddMisc.c
+3 -0

No files found.
--- 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;