diff options
| author | Niklas Een <niklas@een.se> | 2012-10-29 15:35:02 -0700 |
|---|---|---|
| committer | Niklas Een <niklas@een.se> | 2012-10-29 15:35:02 -0700 |
| commit | c3168ba661a06022654aae11693f08368ec15acc (patch) | |
| tree | 36d4240080f59bf8b081a7ef9d8181794a1dc0a6 /src/proof/ssw/sswSimSat.c | |
| parent | 1e8565eee3ec0c2e7d4a6dea448d019ba6854508 (diff) | |
| download | abc-c3168ba661a06022654aae11693f08368ec15acc.tar.gz abc-c3168ba661a06022654aae11693f08368ec15acc.tar.bz2 abc-c3168ba661a06022654aae11693f08368ec15acc.zip | |
Replaced printfs with Abc_Print
Diffstat (limited to 'src/proof/ssw/sswSimSat.c')
| -rw-r--r-- | src/proof/ssw/sswSimSat.c | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/proof/ssw/sswSimSat.c b/src/proof/ssw/sswSimSat.c index 4d1b3ba2..6e5944d1 100644 --- a/src/proof/ssw/sswSimSat.c +++ b/src/proof/ssw/sswSimSat.c @@ -62,17 +62,17 @@ void Ssw_ManResimulateBit( Ssw_Man_t * p, Aig_Obj_t * pCand, Aig_Obj_t * pRepr ) RetValue1 = Ssw_ClassesRefineConst1( p->ppClasses, 0 ); RetValue2 = Ssw_ClassesRefine( p->ppClasses, 0 ); // make sure refinement happened - if ( Aig_ObjIsConst1(pRepr) ) + if ( Aig_ObjIsConst1(pRepr) ) { assert( RetValue1 ); if ( RetValue1 == 0 ) - printf( "\nSsw_ManResimulateBit() Error: RetValue1 does not hold.\n" ); + Abc_Print( 1, "\nSsw_ManResimulateBit() Error: RetValue1 does not hold.\n" ); } else { assert( RetValue2 ); if ( RetValue2 == 0 ) - printf( "\nSsw_ManResimulateBit() Error: RetValue2 does not hold.\n" ); + Abc_Print( 1, "\nSsw_ManResimulateBit() Error: RetValue2 does not hold.\n" ); } } p->timeSimSat += clock() - clk; @@ -105,13 +105,13 @@ void Ssw_ManResimulateWord( Ssw_Man_t * p, Aig_Obj_t * pCand, Aig_Obj_t * pRepr, { assert( RetValue1 ); if ( RetValue1 == 0 ) - printf( "\nSsw_ManResimulateWord() Error: RetValue1 does not hold.\n" ); + Abc_Print( 1, "\nSsw_ManResimulateWord() Error: RetValue1 does not hold.\n" ); } else { assert( RetValue2 ); if ( RetValue2 == 0 ) - printf( "\nSsw_ManResimulateWord() Error: RetValue2 does not hold.\n" ); + Abc_Print( 1, "\nSsw_ManResimulateWord() Error: RetValue2 does not hold.\n" ); } p->timeSimSat += clock() - clk; } @@ -122,4 +122,3 @@ p->timeSimSat += clock() - clk; ABC_NAMESPACE_IMPL_END - |