diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-12 16:20:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-12 16:20:03 -0700 |
| commit | 99a917caf379fbbac1b26cd9af2205108262e945 (patch) | |
| tree | ce3214cde2a5cbe6f6db5c1bc19a10f1e865cdbf /src/proof/cec | |
| parent | 0722dde6f935115277cf27940e85a8eede66f19c (diff) | |
| download | abc-99a917caf379fbbac1b26cd9af2205108262e945.tar.gz abc-99a917caf379fbbac1b26cd9af2205108262e945.tar.bz2 abc-99a917caf379fbbac1b26cd9af2205108262e945.zip | |
Bug fix in &fraig -L <num>.
Diffstat (limited to 'src/proof/cec')
| -rw-r--r-- | src/proof/cec/cecSweep.c | 4 |
1 files changed, 2 insertions, 2 deletions
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 ) { |