diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-31 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-31 08:01:00 -0700 |
| commit | 29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0 (patch) | |
| tree | cd06159f7ddf9e75fc8dff354a7ef5c593b56856 /src/base/io | |
| parent | fefd8b901d89ad0d977db8896c12123cc747e3d7 (diff) | |
| download | abc-29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0.tar.gz abc-29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0.tar.bz2 abc-29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0.zip | |
Version abc70731
Diffstat (limited to 'src/base/io')
| -rw-r--r-- | src/base/io/ioReadAiger.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/io/ioReadAiger.c b/src/base/io/ioReadAiger.c index fe519476..23b5b350 100644 --- a/src/base/io/ioReadAiger.c +++ b/src/base/io/ioReadAiger.c @@ -123,7 +123,7 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck ) // assign names to latch and its input Abc_ObjAssignName( pObj, Abc_ObjNameDummy("_L", i, nDigits), NULL ); - printf( "Creating latch %s with input %d and output %d.\n", Abc_ObjName(pObj), pNode0->Id, pNode1->Id ); +// printf( "Creating latch %s with input %d and output %d.\n", Abc_ObjName(pObj), pNode0->Id, pNode1->Id ); } // remember the beginning of latch/PO literals @@ -161,7 +161,7 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck ) pNode0 = Abc_ObjNotCond( Vec_PtrEntry(vNodes, uLit0 >> 1), (uLit0 & 1) );//^ (uLit0 < 2) ); Abc_ObjAddFanin( pObj, pNode0 ); - printf( "Adding input %d to latch input %d.\n", pNode0->Id, pObj->Id ); +// printf( "Adding input %d to latch input %d.\n", pNode0->Id, pObj->Id ); } // read the PO driver literals @@ -233,7 +233,7 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck ) } // remove the extra nodes -// Abc_AigCleanup( pNtkNew->pManFunc ); + Abc_AigCleanup( pNtkNew->pManFunc ); // check the result if ( fCheck && !Abc_NtkCheckRead( pNtkNew ) ) |