Silencing several messages.

This commit is contained in:
Alan Mishchenko 2016-06-01 11:57:29 -07:00
parent 1d26d58a17
commit e1b32ee756
2 changed files with 3 additions and 1 deletions

View File

@ -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;
}

View File

@ -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) );