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

Commenting assertion that does not hold in AIGER 1.9, accoring to Baruch Sterin.

This commit is contained in:
Alan Mishchenko 2013-05-13 23:25:34 -07:00
parent 3880623c9b
commit 533ff6984e
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/gia/giaAiger.c
View File

@ -198,7 +198,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS
nAnds = atoi( (const char *)pCur ); while ( *pCur != ' ' && *pCur != '\n' ) pCur++;
if ( *pCur == ' ' )
{
assert( nOutputs == 0 );
// assert( nOutputs == 0 );
// read the number of properties
pCur++;
nBad = atoi( (const char *)pCur ); while ( *pCur != ' ' && *pCur != '\n' ) pCur++;

2
src/base/io/ioReadAiger.c
View File

@ -284,7 +284,7 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck )
nAnds = atoi( pCur ); while ( *pCur != ' ' && *pCur != '\n' ) pCur++;
if ( *pCur == ' ' )
{
assert( nOutputs == 0 );
// assert( nOutputs == 0 );
// read the number of properties
pCur++;
nBad = atoi( pCur ); while ( *pCur != ' ' && *pCur != '\n' ) pCur++;