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] Removing commented SAT calls operations.

This commit is contained in:
Carmine50 2024-12-24 11:50:11 +01:00
parent 0ba2b7dae9
commit 699c8c4c88
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4476,14 +4476,6 @@ Gia_Man_t * Cec_SimGenRun( Gia_Man_t * p, Cec_ParSimGen_t * pPars ){
Vec_WrdDumpHex( pPars->pFileName, p->vSimsPi, nWordsPerCi , 1 );
}
// call SAT solver
/*
Cec4_CallSATsolver(pMapped, pManSim, pPars->pCECPars);
Gia_Man_t * ppNew; Gia_Obj_t * pObj;
Gia_ManForEachCo( pMapped, pObj, i )
pObj->Value = Gia_ManAppendCo( pManSim->pNew, Gia_ObjFanin0Copy(pObj) );
ppNew = Gia_ManCleanup( pManSim->pNew );
*/
if (pPars->fVerbose || pPars->fVeryVerbose){
pManSim->pPars->fVerbose = 1; // print the ending stats of sat calls
}