diff options
| author | Bruno Schmitt <bruno@oschmitt.com> | 2016-06-02 20:30:04 -0300 |
|---|---|---|
| committer | Bruno Schmitt <bruno@oschmitt.com> | 2016-06-02 20:30:04 -0300 |
| commit | fe6a647f372224d367ffad92b8f4e0b189a079b8 (patch) | |
| tree | 6aa90e953168517f04f738b07dc5b2d57a6b8b78 /src/base/cba/cbaNtk.c | |
| parent | b6ab0879524c6bf170b41a2605f61d1c23fe07b1 (diff) | |
| parent | e1b32ee7560d1121302d6f87ce045dedb0013f42 (diff) | |
| download | abc-fe6a647f372224d367ffad92b8f4e0b189a079b8.tar.gz abc-fe6a647f372224d367ffad92b8f4e0b189a079b8.tar.bz2 abc-fe6a647f372224d367ffad92b8f4e0b189a079b8.zip | |
Merged alanmi/abc into default
Diffstat (limited to 'src/base/cba/cbaNtk.c')
| -rw-r--r-- | src/base/cba/cbaNtk.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/cba/cbaNtk.c b/src/base/cba/cbaNtk.c index e33adaea..059ef868 100644 --- a/src/base/cba/cbaNtk.c +++ b/src/base/cba/cbaNtk.c @@ -20,6 +20,7 @@ #include <math.h> #include "cba.h" +#include "base/main/main.h" ABC_NAMESPACE_IMPL_START @@ -660,7 +661,7 @@ Vec_Int_t * Cba_NtkCollectDfs( Cba_Ntk_t * p ) Cba_NtkForEachPo( p, iObj, i ) Vec_IntPush( vObjs, iObj ); assert( Vec_IntSize(vObjs) <= Cba_NtkObjNum(p) ); - if ( Vec_IntSize(vObjs) != Cba_NtkObjNum(p) ) + if ( Vec_IntSize(vObjs) != Cba_NtkObjNum(p) && !Abc_FrameReadFlag("silentmode") ) { int iObj = Cba_NtkFindMissing( vObjs, Cba_NtkObjNum(p) ); printf( "Warning: DSF ordering for module \"%s\" collected %d out of %d objects.\n", Cba_NtkName(p), Vec_IntSize(vObjs), Cba_NtkObjNum(p) ); |