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

Bug fix in SAT sweeping.

This commit is contained in:
Alan Mishchenko 2023-04-22 18:37:21 -07:00
parent b633363f06
commit 9f4ab5a2c1
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/aig/gia/giaEquiv.c
View File

@ -528,7 +528,7 @@ int Gia_ManChoiceMinLevel_rec( Gia_Man_t * p, int iPivot, int fDiveIn, Vec_Int_t
{
int Level0, Level1, LevelMax;
Gia_Obj_t * pPivot = Gia_ManObj( p, iPivot );
if ( Gia_ObjIsCi(pPivot) )
if ( Gia_ObjIsCi(pPivot) || iPivot == 0 )
return 0;
if ( Gia_ObjLevel(p, pPivot) )
return Gia_ObjLevel(p, pPivot);

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

@ -1864,7 +1864,7 @@ finalize:
Cec4_ManDestroy( pMan );
//Gia_ManStaticFanoutStop( p );
//Gia_ManEquivPrintClasses( p, 1, 0 );
if ( *ppNew == NULL )
if ( ppNew && *ppNew == NULL )
*ppNew = Gia_ManDup(p);
return p->pCexSeq ? 0 : 1;
}