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

Random crash fix.

This commit is contained in:
Alan Mishchenko 2025-03-10 13:06:14 -07:00
parent 0e117760e2
commit 67fdd8d244
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2053,7 +2053,7 @@ finalize:
//Gia_ManEquivPrintClasses( p, 1, 0 ); //Gia_ManEquivPrintClasses( p, 1, 0 );
if ( ppNew && *ppNew == NULL ) if ( ppNew && *ppNew == NULL )
*ppNew = Gia_ManDup(p); *ppNew = Gia_ManDup(p);
Gia_ManRemoveWrongChoices( p ); if ( p->pNexts ) Gia_ManRemoveWrongChoices( p );
return p->pCexSeq ? 0 : 1; return p->pCexSeq ? 0 : 1;
} }
Gia_Man_t * Cec4_ManSimulateTest( Gia_Man_t * p, Cec_ParFra_t * pPars ) Gia_Man_t * Cec4_ManSimulateTest( Gia_Man_t * p, Cec_ParFra_t * pPars )

2
src/proof/cec/cecSatG3.c
View File

@ -2120,7 +2120,7 @@ finalize:
CbsP_ManStop(pCbs); CbsP_ManStop(pCbs);
//Gia_ManStaticFanoutStop( p ); //Gia_ManStaticFanoutStop( p );
//Gia_ManEquivPrintClasses( p, 1, 0 ); //Gia_ManEquivPrintClasses( p, 1, 0 );
Gia_ManRemoveWrongChoices( p ); if ( p->pNexts ) Gia_ManRemoveWrongChoices( p );
return p->pCexSeq ? 0 : 1; return p->pCexSeq ? 0 : 1;
} }
Gia_Man_t * Cec5_ManSimulateTest( Gia_Man_t * p, Cec_ParFra_t * pPars, int fCbs, int approxLim, int subBatchSz, int adaRecycle ) Gia_Man_t * Cec5_ManSimulateTest( Gia_Man_t * p, Cec_ParFra_t * pPars, int fCbs, int approxLim, int subBatchSz, int adaRecycle )