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

Compiler warnings.

This commit is contained in:
Alan Mishchenko 2021-03-28 14:54:07 -10:00
parent 35a4ce557c
commit 18088bd7dc
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/base/abci/abc.c
View File

@ -33043,10 +33043,10 @@ int Abc_CommandAbc9Iwls21Test( Abc_Frame_t * pAbc, int argc, char ** argv )
Abc_Print( -1, "Reading AIGER from file \"%s\" has failed.\n", pArgvNew[0] );
return 0;
}
if ( pAbc->pGia == NULL )
if ( Gia_ManRegNum(pAig) > 0 )
{
Abc_Print( -1, "Abc_CommandAbc9Iwls21Test(): There is no AIG.\n" );
return 1;
Abc_Print( -1, "Abc_CommandAbc9Iwls21Test(): This command works only for combinational AIGs.\n" );
return 0;
}
Gia_ManTestWordFile( pAig, pArgvNew[1], pDumpFile, fVerbose );
Gia_ManStop( pAig );