Adding print-out of SOP literals with 'ps -f'.

e0462d8d · Alan Mishchenko · df198d2c · e0462d8d
Commit e0462d8d authored Apr 19, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletions

src/base/abci/abcPrint.c
+2 -1

No files found.
--- a/src/base/abci/abcPrint.c
+++ b/src/base/abci/abcPrint.c
@@ -249,7 +249,8 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum
    {
        Abc_Print( 1,"  cube =%6d",  Abc_NtkGetCubeNum(pNtk) );
-//        Abc_Print( 1,"  lit(sop) = %5d",  Abc_NtkGetLitNum(pNtk) );
+        if ( fFactored )
+            Abc_Print( 1,"  lit(sop) =%6d",  Abc_NtkGetLitNum(pNtk) );
        if ( fFactored )
            Abc_Print( 1,"  lit(fac) =%6d",  Abc_NtkGetLitFactNum(pNtk) );
    }