4 files changed, 15 insertions, 17 deletions
diff --git a/src/base/abc/abcCheck.c b/src/base/abc/abcCheck.c
index 79b76348..025d2001 100644
--- a/src/base/abc/abcCheck.c
+++ b/src/base/abc/abcCheck.c
@@ -154,10 +154,7 @@ bool Abc_NtkDoCheck( Abc_Ntk_t * pNtk )
     if ( Abc_NtkIsNetlist(pNtk) )
     {
         if ( Abc_NtkNetNum(pNtk) == 0 )
-        {
-            fprintf( stdout, "NetworkCheck: Netlist has no nets.\n" );
-            return 0;
-        }
+            fprintf( stdout, "NetworkCheck: Warning! Netlist has no nets.\n" );
         // check the nets
         Abc_NtkForEachNet( pNtk, pNet, i )
             if ( !Abc_NtkCheckNet( pNtk, pNet ) )
diff --git a/src/base/abc/abcNtk.c b/src/base/abc/abcNtk.c
index 1e88859c..6f34fa0b 100644
--- a/src/base/abc/abcNtk.c
+++ b/src/base/abc/abcNtk.c
@@ -953,8 +953,8 @@ void Abc_NtkDelete( Abc_Ntk_t * pNtk )
     Abc_NtkForEachObj( pNtk, pObj, i )
     {
         // free large fanout arrays
-        if ( pNtk->pMmObj && pObj->vFanouts.nCap * 4 > LargePiece )
-            FREE( pObj->vFanouts.pArray );
+//        if ( pNtk->pMmObj && pObj->vFanouts.nCap * 4 > LargePiece )
+//            FREE( pObj->vFanouts.pArray );
         // these flags should be always zero
         // if this is not true, something is wrong somewhere
         assert( pObj->fMarkA == 0 );
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 2f52248e..f77c90e5 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -17,7 +17,7 @@
   Revision    [$Id: abc.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
 
 ***********************************************************************/
-
+ 
 #include "abc.h"
 #include "mainInt.h"
 #include "fraig.h"
@@ -1781,8 +1781,8 @@ int Abc_CommandPrintDsd( Abc_Frame_t * pAbc, int argc, char ** argv )
         pTruth = Hop_ManConvertAigToTruth( pNtk->pManFunc, Hop_Regular(pObj->pData), Abc_ObjFaninNum(pObj), vMemory, 0 );
         if ( Hop_IsComplement(pObj->pData) )
             Extra_TruthNot( pTruth, pTruth, Abc_ObjFaninNum(pObj) );
-        Extra_PrintBinary( stdout, pTruth, 1 << Abc_ObjFaninNum(pObj) );
-        printf( "\n" );
+//        Extra_PrintBinary( stdout, pTruth, 1 << Abc_ObjFaninNum(pObj) );
+//        printf( "\n" );
         if ( fCofactor )
             Kit_DsdPrintCofactors( pTruth, Abc_ObjFaninNum(pObj), nCofLevel, 1 );
         else
@@ -7108,7 +7108,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
 //    extern void Abc_NtkDarTestBlif( char * pFileName );
 //    extern Abc_Ntk_t * Abc_NtkDarPartition( Abc_Ntk_t * pNtk );
 //    extern Abc_Ntk_t * Abc_NtkTestExor( Abc_Ntk_t * pNtk, int fVerbose );
-    extern Abc_Ntk_t * Abc_NtkNtkTest( Abc_Ntk_t * pNtk );
+    extern Abc_Ntk_t * Abc_NtkNtkTest( Abc_Ntk_t * pNtk, If_Lib_t * pLutLib );
 
 
 
@@ -7295,7 +7295,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
 
 //    Abc_NtkDarPartition( pNtk );
 
-    pNtkRes = Abc_NtkNtkTest( pNtk );
+    pNtkRes = Abc_NtkNtkTest( pNtk, Abc_FrameReadLibLut() );
     if ( pNtkRes == NULL )
     {
         fprintf( pErr, "Command has failed.\n" );
@@ -15343,7 +15343,7 @@ int Abc_CommandAbc8Mfs( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
     Mfx_Par_t Pars, * pPars = &Pars;
     int c;
-    extern int Mfx_Perform( void * pNtk, Mfx_Par_t * pPars );
+    extern int Mfx_Perform( void * pNtk, Mfx_Par_t * pPars, If_Lib_t * pLutLib );
 
     // set defaults
     Mfx_ParsDefault( pPars );
@@ -15449,7 +15449,7 @@ int Abc_CommandAbc8Mfs( Abc_Frame_t * pAbc, int argc, char ** argv )
     }
 
     // modify the current network
-    if ( !Mfx_Perform( pAbc->pAbc8Nwk, pPars ) )
+    if ( !Mfx_Perform( pAbc->pAbc8Nwk, pPars, pAbc->pAbc8Lib ) )
     {
         fprintf( stdout, "Abc_CommandAbc8Mfs(): Command has failed.\n" );
         return 1;
diff --git a/src/base/abci/abcAbc8.c b/src/base/abci/abcAbc8.c
index 3c60bde0..e918417c 100644
--- a/src/base/abci/abcAbc8.c
+++ b/src/base/abci/abcAbc8.c
@@ -198,8 +198,9 @@ clk = clock();
 PRT( "Time", clock() - clk );
 
     pMan = Abc_NtkToNtkNew( pNtk );
+    pMan->pLutLib = Abc_FrameReadLibLut();
 clk = clock();
-    printf( "%6.2f\n", Nwk_ManDelayTraceLut( pMan, Abc_FrameReadLibLut() ) );
+    printf( "%6.2f\n", Nwk_ManDelayTraceLut( pMan ) );
 PRT( "Time", clock() - clk );
 
     pNtkNew = Abc_NtkFromNtkNew( pNtk, pMan );
@@ -218,9 +219,9 @@ PRT( "Time", clock() - clk );
   SeeAlso     []
 
 ***********************************************************************/
-Abc_Ntk_t * Abc_NtkNtkTest( Abc_Ntk_t * pNtk ) 
+Abc_Ntk_t * Abc_NtkNtkTest( Abc_Ntk_t * pNtk, If_Lib_t * pLutLib ) 
 {
-    extern int Mfx_Perform( Nwk_Man_t * pNtk, Mfx_Par_t * pPars );
+    extern int Mfx_Perform( Nwk_Man_t * pNtk, Mfx_Par_t * pPars, If_Lib_t * pLutLib );
 
     Mfx_Par_t Pars, * pPars = &Pars;
     Abc_Ntk_t * pNtkNew;
@@ -228,7 +229,7 @@ Abc_Ntk_t * Abc_NtkNtkTest( Abc_Ntk_t * pNtk )
     pMan = Abc_NtkToNtkNew( pNtk );
 
     Mfx_ParsDefault( pPars );
-    Mfx_Perform( pMan, pPars );
+    Mfx_Perform( pMan, pPars, pLutLib );
 
     pNtkNew = Abc_NtkFromNtkNew( pNtk, pMan );
     Nwk_ManFree( pMan );