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

Compiler warning.

This commit is contained in:
Alan Mishchenko 2023-10-20 22:42:40 -07:00
parent 72b423ba14
commit 652a0aaef7
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -7186,6 +7186,7 @@ int Abc_CommandRunSat( Abc_Frame_t * pAbc, int argc, char ** argv )
FILE * pFile = NULL;
char * pFileCnf = NULL;
int c, i, fWalk = 0, fKissat = 0, nIters = 10, fVerbose = 0;
abctime clk;
Extra_UtilGetoptReset();
while ( ( c = Extra_UtilGetopt( argc, argv, "Ikwvh" ) ) != EOF )
{
@ -7230,7 +7231,7 @@ int Abc_CommandRunSat( Abc_Frame_t * pAbc, int argc, char ** argv )
return 1;
}
fclose( pFile );
abctime clk = Abc_Clock();
clk = Abc_Clock();
for ( i = 0; i < nIters; i++ ) {
char pCommand[1000];
if ( fKissat )