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

Fixing non-scalability in CNF generation.

This commit is contained in:
Alan Mishchenko 2017-08-13 16:38:06 +07:00
parent 165d97f7d6
commit 7fbddb04e6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/gia/giaMf.c
View File

@ -1551,7 +1551,7 @@ static inline int Mf_CutAreaDerefed2( Mf_Man_t * p, int * pCut )
{ {
int Ela1, iObj, i; int Ela1, iObj, i;
Vec_IntClear( &p->vTemp ); Vec_IntClear( &p->vTemp );
Ela1 = Mf_CutRef2_rec( p, pCut, &p->vTemp, 5 ); Ela1 = Mf_CutRef2_rec( p, pCut, &p->vTemp, 10 );
Vec_IntForEachEntry( &p->vTemp, iObj, i ) Vec_IntForEachEntry( &p->vTemp, iObj, i )
Mf_ObjMapRefDec( p, iObj ); Mf_ObjMapRefDec( p, iObj );
return Ela1; return Ela1;