From 0ba2b7dae903318f046e7e2aae8c014550152fe7 Mon Sep 17 00:00:00 2001 From: Carmine50 Date: Tue, 24 Dec 2024 11:49:17 +0100 Subject: [PATCH] [CEC][SimGen][Clean codes] Removing unused parameters. --- src/proof/cec/cec.h | 1 - src/proof/cec/cecSatG2.c | 6 +++--- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/src/proof/cec/cec.h b/src/proof/cec/cec.h index 3ef5454e1..fe1a2d518 100644 --- a/src/proof/cec/cec.h +++ b/src/proof/cec/cec.h @@ -219,7 +219,6 @@ struct Cec_ParSimGen_t_ int nImplicationSuccess; // number of times implication was successful int nImplicationTotalChecks; // number of times implication was checked int nImplicationSuccessChecks; // number of times implication was successful - Cec_ParFra_t * pCECPars; // parameters of CEC char * pFileName; // file name to dump simulation vectors }; diff --git a/src/proof/cec/cecSatG2.c b/src/proof/cec/cecSatG2.c index 2e25ff249..fab871f4a 100644 --- a/src/proof/cec/cecSatG2.c +++ b/src/proof/cec/cecSatG2.c @@ -252,8 +252,6 @@ void Cec_SimGenSetParDefault( Cec_ParSimGen_t * pPars ) pPars->nImplicationSuccess = 0; // the number of implication successes pPars->nImplicationTotalChecks = 0; // the number of implication checks pPars->nImplicationSuccessChecks = 0; // the number of implication successful checks - pPars->pCECPars = (Cec_ParFra_t *) malloc(sizeof( Cec_ParFra_t )); // parameters of CEC - Cec4_ManSetParams( pPars->pCECPars ); pPars->pFileName = NULL; // file name to dump simulation vectors } @@ -4362,6 +4360,7 @@ Gia_Man_t * Cec_SimGenRun( Gia_Man_t * p, Cec_ParSimGen_t * pPars ){ int i, k, iFan, nWordsPerCi; Gia_Man_t * pMapped; Vec_Ptr_t * vSimPisSave; + Cec_ParFra_t * pCECPars; if (!Gia_ManHasMapping(p)){ // apply technology mapping if not already done @@ -4377,7 +4376,8 @@ Gia_Man_t * Cec_SimGenRun( Gia_Man_t * p, Cec_ParSimGen_t * pPars ){ if(pPars->fVerbose) printf("Using already mapped network\n"); } - pManSim = Cec4_ManCreate( pMapped, pPars->pCECPars ); + pCECPars = (Cec_ParFra_t *) malloc(sizeof( Cec_ParFra_t )); // parameters of CEC + pManSim = Cec4_ManCreate( pMapped, pCECPars ); Cec_DeriveSOPs( pMapped );