From 99a917caf379fbbac1b26cd9af2205108262e945 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 12 Aug 2014 16:20:03 -0700 Subject: Bug fix in &fraig -L . --- src/proof/cec/cecSweep.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/proof/cec/cecSweep.c') diff --git a/src/proof/cec/cecSweep.c b/src/proof/cec/cecSweep.c index 977ff3a8..55f2219f 100644 --- a/src/proof/cec/cecSweep.c +++ b/src/proof/cec/cecSweep.c @@ -84,8 +84,8 @@ Gia_Man_t * Cec_ManFraSpecReduction( Cec_ManFra_t * p ) if ( Abc_LitRegular(iNode) == Abc_LitRegular(iRepr) ) continue; if ( p->pPars->nLevelMax && - (Gia_ObjLevel(p->pAig, pObj) > p->pPars->nLevelMax || - Gia_ObjLevel(p->pAig, pRepr) > p->pPars->nLevelMax) ) + (Gia_ObjLevelId(p->pAig, i) > p->pPars->nLevelMax || + Gia_ObjLevelId(p->pAig, Abc_Lit2Var(iRepr)) > p->pPars->nLevelMax) ) continue; if ( p->pPars->fDualOut ) { -- cgit v1.2.3