diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-13 16:38:06 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-13 16:38:06 +0700 |
| commit | 7fbddb04e6f7cfa94a7a5ca17fc2326ef22a2c74 (patch) | |
| tree | d718cdd3bb8f02f9e34b569f9b48e0aad9627dd9 /src/aig/gia/giaMf.c | |
| parent | 165d97f7d642b0a3b149d2b3bd3cd627273a3085 (diff) | |
| download | abc-7fbddb04e6f7cfa94a7a5ca17fc2326ef22a2c74.tar.gz abc-7fbddb04e6f7cfa94a7a5ca17fc2326ef22a2c74.tar.bz2 abc-7fbddb04e6f7cfa94a7a5ca17fc2326ef22a2c74.zip | |
Fixing non-scalability in CNF generation.
Diffstat (limited to 'src/aig/gia/giaMf.c')
| -rw-r--r-- | src/aig/gia/giaMf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c index 89ad2354..6dec48f0 100644 --- a/src/aig/gia/giaMf.c +++ b/src/aig/gia/giaMf.c @@ -1551,7 +1551,7 @@ static inline int Mf_CutAreaDerefed2( Mf_Man_t * p, int * pCut ) { int Ela1, iObj, i; 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 ) Mf_ObjMapRefDec( p, iObj ); return Ela1; |