From f2d4f6c26eb610cf4843004fc6955a1548aa9f8f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 8 Feb 2008 08:01:00 -0800 Subject: Version abc80208 --- src/opt/lpk/lpkCore.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/opt/lpk') diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index e819a7fb..34911c20 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -340,7 +340,7 @@ void Lpk_ComputeSupports( Lpk_Man_t * p, Lpk_Cut_t * pCut, unsigned * pTruth ) pTruthInv = Lpk_CutTruth( p, pCut, 1 ); RetValue1 = Kit_CreateCloudFromTruth( p->pDsdMan->dd, pTruth, pCut->nLeaves, p->vBddDir ); RetValue2 = Kit_CreateCloudFromTruth( p->pDsdMan->dd, pTruthInv, pCut->nLeaves, p->vBddInv ); - if ( RetValue1 && RetValue2 ) + if ( RetValue1 && RetValue2 && Vec_IntSize(p->vBddDir) > 1 && Vec_IntSize(p->vBddInv) > 1 ) Kit_TruthCofSupports( p->vBddDir, p->vBddInv, pCut->nLeaves, p->vMemory, p->puSupps ); else p->puSupps[0] = p->puSupps[1] = 0; -- cgit v1.2.3