From e87f0dd6795c5cfc63f966807a5d499d48a4c6ef Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 16 Sep 2013 08:49:37 -0700 Subject: Bug fix in PDR. --- src/proof/pdr/pdrMan.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof') diff --git a/src/proof/pdr/pdrMan.c b/src/proof/pdr/pdrMan.c index af7c424a..ec20b8a9 100644 --- a/src/proof/pdr/pdrMan.c +++ b/src/proof/pdr/pdrMan.c @@ -54,7 +54,7 @@ Pdr_Man_t * Pdr_ManStart( Aig_Man_t * pAig, Pdr_Par_t * pPars, Vec_Int_t * vPrio p->pOrder = ABC_ALLOC( int, Aig_ManRegNum(pAig) ); p->vActVars = Vec_IntAlloc( 256 ); if ( !p->pPars->fMonoCnf ) - p->vVLits = Vec_WecStart( Aig_ManLevels(pAig) ); + p->vVLits = Vec_WecStart( Abc_MaxInt(1, Aig_ManLevels(pAig)) ); // internal use p->vPrio = vPrioInit ? vPrioInit : Vec_IntStart( Aig_ManRegNum(pAig) ); // priority flops p->vLits = Vec_IntAlloc( 100 ); // array of literals -- cgit v1.2.3