diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-29 00:03:01 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-29 00:03:01 -0700 |
commit | 738619980a251676ef7f6e9198cc1df15df2f6df (patch) | |
tree | 2cdac76bdd4f8821558f03e30000075c9f4c162f /src/aig | |
parent | bfc3a109c23798e9fb0e069cca9673d024c2bb05 (diff) | |
download | abc-738619980a251676ef7f6e9198cc1df15df2f6df.tar.gz abc-738619980a251676ef7f6e9198cc1df15df2f6df.tar.bz2 abc-738619980a251676ef7f6e9198cc1df15df2f6df.zip |
Changing default values.
Diffstat (limited to 'src/aig')
-rw-r--r-- | src/aig/gia/giaJf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c index 8dc127ff..fe7b52a6 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -1416,7 +1416,7 @@ void Jf_ManDeriveMapping( Jf_Man_t * p ) continue; pCut = Jf_ObjCutBest( p, i ); Vec_IntWriteEntry( vMapping, i, Vec_IntSize(vMapping) ); - assert( Jf_CutSize(pCut) <= 6 ); + assert( !p->pPars->fCutMin || Jf_CutSize(pCut) <= 6 ); Vec_IntPush( vMapping, Jf_CutSize(pCut) ); for ( k = 1; k <= Jf_CutSize(pCut); k++ ) Vec_IntPush( vMapping, Jf_CutVar(pCut, k) ); |