From c1b2a64c2e7839dc10bf22dd5dd481fb1e11efa1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 11 Mar 2023 20:29:04 +0700 Subject: [PATCH] Alternative binary name on Linux. --- src/sat/bmc/bmcMaj.c | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/src/sat/bmc/bmcMaj.c b/src/sat/bmc/bmcMaj.c index c76586d63..c7c17a3e2 100644 --- a/src/sat/bmc/bmcMaj.c +++ b/src/sat/bmc/bmcMaj.c @@ -1642,7 +1642,14 @@ Vec_Int_t * Exa4_ManSolve( char * pFileNameIn, char * pFileNameOut, int TimeOut, if ( pFile == NULL ) { printf( "Cannot find the Kissat binary \"%s\".\n", pKissat ); - return NULL; + pKissat = "./kissat"; + pFile = fopen( pKissat, "rb" ); + if ( pFile == NULL ) + { + printf( "Cannot find the Kissat binary \"%s\".\n", pKissat ); + return NULL; + } + fclose( pFile ); } fclose( pFile ); }