diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-02 01:15:40 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-02 01:15:40 -0800 |
| commit | c47dc99a9402b57762073a786ac71027509a537b (patch) | |
| tree | 75d4fcec2189de17af1ba72bc0961b8c969b386d /src/proof/pdr/pdrUtil.c | |
| parent | 4db9c63627301329530465ea459588a98411f79b (diff) | |
| download | abc-c47dc99a9402b57762073a786ac71027509a537b.tar.gz abc-c47dc99a9402b57762073a786ac71027509a537b.tar.bz2 abc-c47dc99a9402b57762073a786ac71027509a537b.zip | |
Redirecting printf messages.
Diffstat (limited to 'src/proof/pdr/pdrUtil.c')
| -rw-r--r-- | src/proof/pdr/pdrUtil.c | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/proof/pdr/pdrUtil.c b/src/proof/pdr/pdrUtil.c index c0570988..97261a7f 100644 --- a/src/proof/pdr/pdrUtil.c +++ b/src/proof/pdr/pdrUtil.c @@ -78,11 +78,6 @@ Pdr_Set_t * Pdr_SetCreate( Vec_Int_t * vLits, Vec_Int_t * vPiLits ) p->Sign |= ((word)1 << (p->Lits[i] % 63)); } Vec_IntSelectSort( p->Lits, p->nLits ); -/* - for ( i = 0; i < p->nLits; i++ ) - printf( "%d ", p->Lits[i] ); - printf( "\n" ); -*/ // remember PI literals for ( i = p->nLits; i < p->nTotal; i++ ) p->Lits[i] = Vec_IntEntry(vPiLits, i-p->nLits); @@ -549,7 +544,7 @@ void Pdr_QueuePrint( Pdr_Man_t * p ) { Pdr_Obl_t * pObl; for ( pObl = p->pQueue; pObl; pObl = pObl->pLink ) - printf( "Frame = %2d. Prio = %8d.\n", pObl->iFrame, pObl->prio ); + Abc_Print( 1, "Frame = %2d. Prio = %8d.\n", pObl->iFrame, pObl->prio ); } /**Function************************************************************* |