Delay optimization using precomputed library.

655d452c · Alan Mishchenko · 6ed83402 · 655d452c
Commit 655d452c authored Dec 30, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletions

src/base/abci/abcRec.c
+3 -1

No files found.
--- a/src/base/abci/abcRec.c
+++ b/src/base/abci/abcRec.c
@@ -736,7 +736,9 @@ Abc_Ntk_t * Abc_NtkDupWithoutDangling( Abc_Ntk_t * pNtk )
        {
            Abc_NtkDupObj( pNtkNew, pObj, 0 );
            Abc_ObjAddFanin( pObj->pCopy, Abc_ObjFanin0(pObj)->pCopy );
-        }
+        } 
+    Abc_NtkAddDummyPiNames( pNtkNew );
+    Abc_NtkAddDummyPoNames( pNtkNew );
    if ( !Abc_NtkCheck( pNtkNew ) )
        fprintf( stdout, "Abc_NtkDupWithoutDangling(): Network check has failed.\n" );
    pNtk->pCopy = pNtkNew;