luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[CEC][SimGen][Clean codes] Disabling verbose.

This commit is contained in:
Carmine50 2024-12-24 12:27:09 +01:00
parent 7c6d1ffd2d
commit 5961231ed1
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/proof/cec/cecSatG2.c
View File

@ -4377,6 +4377,7 @@ Gia_Man_t * Cec_SimGenRun( Gia_Man_t * p, Cec_ParSimGen_t * pPars ){
printf("Using already mapped network\n");
}
pCECPars = (Cec_ParFra_t *) malloc(sizeof( Cec_ParFra_t )); // parameters of CEC
pManSim->pPars->fVerbose = 0; // disabling verbose sat solver
pManSim = Cec4_ManCreate( pMapped, pCECPars );
Cec_DeriveSOPs( pMapped );