diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-13 16:30:19 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-13 16:30:19 +0700 |
| commit | 165d97f7d642b0a3b149d2b3bd3cd627273a3085 (patch) | |
| tree | f352f9f83a5929be26703805a7c4e254b8fb7fc9 /src/aig/gia/giaMf.c | |
| parent | 8389c455a67bda208697316b10e346c23dbec0f4 (diff) | |
| download | abc-165d97f7d642b0a3b149d2b3bd3cd627273a3085.tar.gz abc-165d97f7d642b0a3b149d2b3bd3cd627273a3085.tar.bz2 abc-165d97f7d642b0a3b149d2b3bd3cd627273a3085.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 af401fa3..89ad2354 100644 --- a/src/aig/gia/giaMf.c +++ b/src/aig/gia/giaMf.c @@ -1543,7 +1543,7 @@ int Mf_CutRef2_rec( Mf_Man_t * p, int * pCut, Vec_Int_t * vTemp, int Limit ) { Vec_IntPush( vTemp, pCut[i] ); if ( !Mf_ObjMapRefInc(p, pCut[i]) && Mf_ManObj(p, pCut[i])->iCutSet ) - Count += Mf_CutRef2_rec( p, Mf_ObjCutBest(p, pCut[i]), vTemp, Limit ); + Count += Mf_CutRef2_rec( p, Mf_ObjCutBest(p, pCut[i]), vTemp, Limit-1 ); } return Count; } |