From c8d64b8682473be6f82b3b8c85a89687b08f398a Mon Sep 17 00:00:00 2001 From: Jannis Harder Date: Wed, 7 Feb 2024 18:37:53 +0100 Subject: [PATCH] Fix pdr timing output (cherry picked from commit acbe1b1f03c4df825698c6843d1f69f0f1316379) --- src/proof/pdr/pdrCore.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/proof/pdr/pdrCore.c b/src/proof/pdr/pdrCore.c index 371dda168..842324c90 100644 --- a/src/proof/pdr/pdrCore.c +++ b/src/proof/pdr/pdrCore.c @@ -1035,7 +1035,7 @@ void Pdr_OutputCexToDir( Pdr_Par_t * pPars, Abc_Cex_t * pCex ) FILE * pCexFile; iCexPathSize = snprintf( NULL, 0, "%s%d.aiw", pPars->pCexFilePrefix, pCex->iPo ) + 1; - pCexPath = malloc( iCexPathSize ); + pCexPath = (char *)malloc( iCexPathSize ); snprintf( pCexPath, iCexPathSize, "%s%d.aiw", pPars->pCexFilePrefix, pCex->iPo ); Abc_Print( 1, "Writing CEX for output %d to %s\n", pCex->iPo, pCexPath ); pCexFile = fopen( pCexPath, "w" );