summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-09-29 00:00:31 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-09-29 00:00:31 -0700
commitbfc3a109c23798e9fb0e069cca9673d024c2bb05 (patch)
treeace11959b7ca58ab9e6460a49953e6e5560c67f9 /src
parent2a83a97164c17e341dbe90aa3debd105eb736284 (diff)
downloadabc-bfc3a109c23798e9fb0e069cca9673d024c2bb05.tar.gz
abc-bfc3a109c23798e9fb0e069cca9673d024c2bb05.tar.bz2
abc-bfc3a109c23798e9fb0e069cca9673d024c2bb05.zip
Changing default values.
Diffstat (limited to 'src')
-rw-r--r--src/aig/gia/giaJf.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c
index 209715de..8dc127ff 100644
--- a/src/aig/gia/giaJf.c
+++ b/src/aig/gia/giaJf.c
@@ -1118,7 +1118,7 @@ void Jf_ObjComputeCuts( Jf_Man_t * p, Gia_Obj_t * pObj, int fEdge )
Vec_IntPush( p->vTemp, c );
for ( i = 0; i < c; i++ )
{
- assert( pSto[i]->pCut[0] <= 6 );
+ assert( !p->pPars->fCutMin || pSto[i]->pCut[0] <= 6 );
pSto[i]->Cost = p->pPars->fGenCnf ? Jf_CutCnfSizeF(p, Abc_Lit2Var(pSto[i]->iFunc)) : 1;
Vec_IntPush( p->vTemp, Jf_CutSetAll(pSto[i]->iFunc, pSto[i]->Cost, pSto[i]->pCut[0]) );
for ( k = 1; k <= pSto[i]->pCut[0]; k++ )