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

Alternative binary name on Linux.

This commit is contained in:
Alan Mishchenko 2023-03-11 20:29:04 +07:00
parent 7bc6f3396e
commit c1b2a64c2e
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/sat/bmc/bmcMaj.c
View File

@ -1640,12 +1640,19 @@ Vec_Int_t * Exa4_ManSolve( char * pFileNameIn, char * pFileNameOut, int TimeOut,
{ {
FILE * pFile = fopen( pKissat, "rb" ); FILE * pFile = fopen( pKissat, "rb" );
if ( pFile == NULL ) if ( pFile == NULL )
{
printf( "Cannot find the Kissat binary \"%s\".\n", pKissat );
pKissat = "./kissat";
pFile = fopen( pKissat, "rb" );
if ( pFile == NULL )
{ {
printf( "Cannot find the Kissat binary \"%s\".\n", pKissat ); printf( "Cannot find the Kissat binary \"%s\".\n", pKissat );
return NULL; return NULL;
} }
fclose( pFile ); fclose( pFile );
} }
fclose( pFile );
}
if ( TimeOut ) if ( TimeOut )
sprintf( pCommand, "%s --time=%d %s %s > %s", pKissat, TimeOut, fVerboseSolver ? "": "-q", pFileNameIn, pFileNameOut ); sprintf( pCommand, "%s --time=%d %s %s > %s", pKissat, TimeOut, fVerboseSolver ? "": "-q", pFileNameIn, pFileNameOut );
else else