From 5f163c01520291189da1479abed8ecc8937d52b7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 17 Apr 2020 10:32:38 -0700 Subject: Fixing broken build and compiler warnings. --- src/sat/bmc/bmcFault.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/sat/bmc/bmcFault.c') diff --git a/src/sat/bmc/bmcFault.c b/src/sat/bmc/bmcFault.c index 823ba9d4..4a9ce415 100644 --- a/src/sat/bmc/bmcFault.c +++ b/src/sat/bmc/bmcFault.c @@ -1719,7 +1719,7 @@ finish: // dump the test suite if ( pPars->fDump ) { - char * pFileName = p->pSpec ? Extra_FileNameGenericAppend(p->pSpec, "_tests.txt") : "tests.txt"; + char * pFileName = p->pSpec ? Extra_FileNameGenericAppend(p->pSpec, "_tests.txt") : (char *)"tests.txt"; if ( pPars->fDumpDelay && pPars->Algo == 1 ) { Gia_ManDumpTestsDelay( vTests, Iter, pFileName, p ); @@ -1834,7 +1834,7 @@ finish: if ( pPars->fDumpUntest && status == l_True ) { abctime clk = Abc_Clock(); - char * pFileName = p->pSpec ? Extra_FileNameGenericAppend(p->pSpec, "_untest.txt") : "untest.txt"; + char * pFileName = p->pSpec ? Extra_FileNameGenericAppend(p->pSpec, "_untest.txt") : (char *)"untest.txt"; int nUntests = Gia_ManDumpUntests( pM, pCnf, pSat, nFuncVars, pFileName, pPars->fVerbose ); if ( p == pG ) printf( "Dumped %d untestable multiple faults into file \"%s\". ", nUntests, pFileName ); -- cgit v1.2.3