From 738619980a251676ef7f6e9198cc1df15df2f6df Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 29 Sep 2013 00:03:01 -0700 Subject: Changing default values. --- src/aig/gia/giaJf.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) ); -- cgit v1.2.3