From a1d1a7b8cd1e58473efb7fadfdb117b044f98197 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 9 Aug 2017 17:38:40 +0900 Subject: Experiments with BMC. --- src/aig/gia/giaMf.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/aig/gia/giaMf.c') diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c index 24c1e6a0..a84690e9 100644 --- a/src/aig/gia/giaMf.c +++ b/src/aig/gia/giaMf.c @@ -545,6 +545,7 @@ static inline int Mf_CutComputeTruth6( Mf_Man_t * p, Mf_Cut_t * pCut0, Mf_Cut_t t1 = Abc_Tt6Expand( t1, pCut1->pLeaves, pCut1->nLeaves, pCutR->pLeaves, pCutR->nLeaves ); t = fIsXor ? t0 ^ t1 : t0 & t1; if ( (fCompl = (int)(t & 1)) ) t = ~t; + if ( !p->pPars->fCnfObjIds ) pCutR->nLeaves = Abc_Tt6MinBase( &t, pCutR->pLeaves, pCutR->nLeaves ); assert( (int)(t & 1) == 0 ); truthId = Vec_MemHashInsert(p->vTtMem, &t); -- cgit v1.2.3