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/pdrTsim.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/pdrTsim.c')
| -rw-r--r-- | src/proof/pdr/pdrTsim.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/proof/pdr/pdrTsim.c b/src/proof/pdr/pdrTsim.c index 32843489..428c20c7 100644 --- a/src/proof/pdr/pdrTsim.c +++ b/src/proof/pdr/pdrTsim.c @@ -327,7 +327,7 @@ void Pdr_ManPrintCex( Aig_Man_t * pAig, Vec_Int_t * vCiObjs, Vec_Int_t * vCiVals if ( vCi2Rem ) Aig_ManForEachObjVec( vCi2Rem, pAig, pObj, i ) pBuff[Aig_ObjPioNum(pObj)] = 'x'; - printf( "%s\n", pBuff ); + Abc_Print( 1, "%s\n", pBuff ); ABC_FREE( pBuff ); } @@ -381,12 +381,12 @@ Pdr_Set_t * Pdr_ManTernarySim( Pdr_Man_t * p, int k, Pdr_Set_t * pCube ) } if ( p->pPars->fVeryVerbose ) { -printf( "Trying to justify cube " ); +Abc_Print( 1, "Trying to justify cube " ); if ( pCube ) Pdr_SetPrint( stdout, pCube, Aig_ManRegNum(p->pAig), NULL ); else - printf( "<prop=fail>" ); -printf( " in frame %d.\n", k ); + Abc_Print( 1, "<prop=fail>" ); +Abc_Print( 1, " in frame %d.\n", k ); } // collect CI objects |