From 37979dbd94fdd86107c399c6cc842ebfe56ce147 Mon Sep 17 00:00:00 2001
From: Carmine50 <carmine.rizzi@hotmail.it>
Date: Tue, 24 Dec 2024 11:50:47 +0100
Subject: [PATCH] [CEC][SimGen][Clean codes] Removing commented SAT calls
 operations.

---
 src/proof/cec/cecSatG2.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/proof/cec/cecSatG2.c b/src/proof/cec/cecSatG2.c
index 0d265f23d..acbb15cbd 100644
--- a/src/proof/cec/cecSatG2.c
+++ b/src/proof/cec/cecSatG2.c
@@ -4476,9 +4476,6 @@ Gia_Man_t * Cec_SimGenRun( Gia_Man_t * p, Cec_ParSimGen_t * pPars ){
       Vec_WrdDumpHex( pPars->pFileName, p->vSimsPi, nWordsPerCi , 1 );
     }
 
-    if (pPars->fVerbose || pPars->fVeryVerbose){
-        pManSim->pPars->fVerbose = 1; // print the ending stats of sat calls
-    }
     // free memory
     Vec_IntFree( pMapped->vTTLut );
     Vec_StrFree( pMapped->vTTISOPs );