diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-01 11:57:29 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-01 11:57:29 -0700 |
commit | e1b32ee7560d1121302d6f87ce045dedb0013f42 (patch) | |
tree | 6d932e9c10fb648c1132333033d688b3bb6818a7 | |
parent | 1d26d58a17226230b40601c3dc40ef4851827a2e (diff) | |
download | abc-e1b32ee7560d1121302d6f87ce045dedb0013f42.tar.gz abc-e1b32ee7560d1121302d6f87ce045dedb0013f42.tar.bz2 abc-e1b32ee7560d1121302d6f87ce045dedb0013f42.zip |
Silencing several messages.
-rw-r--r-- | src/base/abci/abc.c | 1 | ||||
-rw-r--r-- | src/base/cba/cbaNtk.c | 3 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index aa2d5598..6cc131bd 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -33213,6 +33213,7 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv ) if ( pAbc->pGia == NULL ) { + if ( !Abc_FrameReadFlag("silentmode") ) Abc_Print( -1, "Empty GIA network.\n" ); return 1; } 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) ); |