luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Commenting out undesirable warnings/assertions.

This commit is contained in:
Alan Mishchenko 2013-03-26 14:32:21 -07:00
parent 93b1031664
commit 17af45424f
2 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/base/abci/abcLog.c
View File

@ -163,9 +163,8 @@ int Abc_NtkReadLogFile( char * pFileName, Abc_Cex_t ** ppCex, int * pnFrames )
if ( pToken )
nFrames2 = atoi( pToken );
}
else
printf( "Warning! The current status is SAT but the current CEX is not given.\n" );
// else
// printf( "Warning! The current status is SAT but the current CEX is not given.\n" );
}
else if ( !strncmp( Buffer, "snl_UNK", strlen("snl_UNK") ) )
{

2
src/base/abci/abcQbf.c
View File

@ -71,7 +71,7 @@ void Abc_NtkQbf( Abc_Ntk_t * pNtk, int nPars, int nItersMax, int fVerbose )
assert( Abc_NtkIsComb(pNtk) );
assert( Abc_NtkPoNum(pNtk) == 1 );
assert( nPars > 0 && nPars < Abc_NtkPiNum(pNtk) );
assert( Abc_NtkPiNum(pNtk)-nPars < 32 );
// assert( Abc_NtkPiNum(pNtk)-nPars < 32 );
nInputs = Abc_NtkPiNum(pNtk) - nPars;
// initialize the synthesized network with 0000-combination