diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-03 17:32:44 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-03 17:32:44 -0800 |
| commit | a2cebd3e205751bf6e01d509c9568926069b6ab5 (patch) | |
| tree | b8be768e0e9fc992c17d57d9a358a222326286fc /src/proof/pdr/pdrMan.c | |
| parent | 6d088bc440fb6b7a5b3eb2c9ea7b9950a1698166 (diff) | |
| download | abc-a2cebd3e205751bf6e01d509c9568926069b6ab5.tar.gz abc-a2cebd3e205751bf6e01d509c9568926069b6ab5.tar.bz2 abc-a2cebd3e205751bf6e01d509c9568926069b6ab5.zip | |
Removing dead code in 'pdr'.
Diffstat (limited to 'src/proof/pdr/pdrMan.c')
| -rw-r--r-- | src/proof/pdr/pdrMan.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/proof/pdr/pdrMan.c b/src/proof/pdr/pdrMan.c index eb12e341..31446290 100644 --- a/src/proof/pdr/pdrMan.c +++ b/src/proof/pdr/pdrMan.c @@ -67,8 +67,6 @@ Pdr_Man_t * Pdr_ManStart( Aig_Man_t * pAig, Pdr_Par_t * pPars, Vec_Int_t * vPrio p->vVisits = Vec_IntAlloc( 100 ); // intermediate p->vCi2Rem = Vec_IntAlloc( 100 ); // CIs to be removed p->vRes = Vec_IntAlloc( 100 ); // final result - p->vSuppLits= Vec_IntAlloc( 100 ); // support literals - p->pCubeJust= Pdr_SetAlloc( Saig_ManRegNum(pAig) ); p->pCnfMan = Cnf_ManStart(); // ternary simulation p->pTxs = Txs_ManStart( p, pAig, p->vPrio ); @@ -166,9 +164,7 @@ void Pdr_ManStop( Pdr_Man_t * p ) Vec_IntFree( p->vVisits ); // intermediate Vec_IntFree( p->vCi2Rem ); // CIs to be removed Vec_IntFree( p->vRes ); // final result - Vec_IntFree( p->vSuppLits ); // support literals Vec_PtrFreeP( &p->vInfCubes ); - ABC_FREE( p->pCubeJust ); ABC_FREE( p->pTime4Outs ); if ( p->vCexes ) Vec_PtrFreeFree( p->vCexes ); |