From edb7fb100db65e9da487dcd0ff27377e808e2dd8 Mon Sep 17 00:00:00 2001 From: Alan Date: Wed, 26 Jul 2023 20:27:17 -0700 Subject: [PATCH] Removing checking for the binary in the current dir. --- src/sat/bmc/bmcMaj.c | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/src/sat/bmc/bmcMaj.c b/src/sat/bmc/bmcMaj.c index 1e2a253f2..d3a3ac18d 100644 --- a/src/sat/bmc/bmcMaj.c +++ b/src/sat/bmc/bmcMaj.c @@ -1637,22 +1637,6 @@ Vec_Int_t * Exa4_ManSolve( char * pFileNameIn, char * pFileNameOut, int TimeOut, char * pKissat = "kissat"; #endif char Command[1000], * pCommand = (char *)&Command; - { - FILE * pFile = fopen( pKissat, "rb" ); - 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 ); - return NULL; - } - fclose( pFile ); - } - fclose( pFile ); - } if ( TimeOut ) sprintf( pCommand, "%s --time=%d %s %s > %s", pKissat, TimeOut, fVerboseSolver ? "": "-q", pFileNameIn, pFileNameOut ); else