diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-08 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-08 08:01:00 -0800 |
| commit | f2d4f6c26eb610cf4843004fc6955a1548aa9f8f (patch) | |
| tree | 089ca0bde7ecc2bb0acec04aeb28c52ecc18139f /src/base | |
| parent | 5a6924060bffb688101f54711f967305fc3fa480 (diff) | |
| download | abc-f2d4f6c26eb610cf4843004fc6955a1548aa9f8f.tar.gz abc-f2d4f6c26eb610cf4843004fc6955a1548aa9f8f.tar.bz2 abc-f2d4f6c26eb610cf4843004fc6955a1548aa9f8f.zip | |
Version abc80208
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abc/abcDfs.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abc/abcDfs.c b/src/base/abc/abcDfs.c index c882672b..fd3b9253 100644 --- a/src/base/abc/abcDfs.c +++ b/src/base/abc/abcDfs.c @@ -677,7 +677,7 @@ void Abc_NtkNodeSupport_rec( Abc_Obj_t * pNode, Vec_Ptr_t * vNodes ) // mark the node as visited Abc_NodeSetTravIdCurrent( pNode ); // collect the CI - if ( Abc_ObjIsCi(pNode) )//|| Abc_ObjFaninNum(pNode) == 0 ) + if ( Abc_ObjIsCi(pNode) || (Abc_NtkIsStrash(pNode->pNtk) && Abc_ObjFaninNum(pNode) == 0) ) { Vec_PtrPush( vNodes, pNode ); return; |