Towards better Boolean matching.

51fb9e4e · Alan Mishchenko · 069e9d4f · 51fb9e4e · 51fb9e4e
Commit 51fb9e4e authored Oct 09, 2013 by Alan Mishchenko
Expand all Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/abci/abc.c
+1 -1

src/opt/dau/dauNonDsd.c
+0 -0

No files found.
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -2293,7 +2293,7 @@ int Abc_CommandPrintDsd( Abc_Frame_t * pAbc, int argc, char ** argv )
            Extra_TruthNot( pTruth, pTruth, Abc_ObjFaninNum(pObj) );
 //        Extra_PrintBinary( stdout, pTruth, 1 << Abc_ObjFaninNum(pObj) );
 //        Abc_Print( -1, "\n" );
-        if ( fPrintDec && Abc_ObjFaninNum(pObj) <= 6 )
+        if ( fPrintDec )//&&Abc_ObjFaninNum(pObj) <= 6 )
            Dau_DecTrySets( (word *)pTruth, Abc_ObjFaninNum(pObj) );
        if ( fProfile )
            Kit_TruthPrintProfile( pTruth, Abc_ObjFaninNum(pObj) );
--- a/src/opt/dau/dauNonDsd.c
+++ b/src/opt/dau/dauNonDsd.c