diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 10:44:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 10:44:34 -0700 |
| commit | 8b881d235a90e67282fa2e91bbfec8c4e6685878 (patch) | |
| tree | 1ab26419ca1ec1bd8639f9b12df6a4f5eb996012 /src/proof/ssw | |
| parent | 31d85e732b2648049171abfb906216dfe31449f3 (diff) | |
| download | abc-8b881d235a90e67282fa2e91bbfec8c4e6685878.tar.gz abc-8b881d235a90e67282fa2e91bbfec8c4e6685878.tar.bz2 abc-8b881d235a90e67282fa2e91bbfec8c4e6685878.zip | |
Making 'pdr', &gla, &vta print correctly in batch mode.
Diffstat (limited to 'src/proof/ssw')
| -rw-r--r-- | src/proof/ssw/sswRarity.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/proof/ssw/sswRarity.c b/src/proof/ssw/sswRarity.c index 445dda84..032bc5ba 100644 --- a/src/proof/ssw/sswRarity.c +++ b/src/proof/ssw/sswRarity.c @@ -20,6 +20,7 @@ #include "sswInt.h" #include "src/aig/gia/giaAig.h" +#include "src/base/main/main.h" ABC_NAMESPACE_IMPL_START @@ -1074,7 +1075,7 @@ int Ssw_RarSignalFilter( Aig_Man_t * pAig, int nFrames, int nWords, int nBinSize if ( fMiter && Ssw_RarManCheckNonConstOutputs(p) ) { if ( !fVerbose ) - printf( "\r" ); + printf( "%s", Abc_FrameIsBatchMode() ? "\n" : "\r" ); // printf( "Simulation asserted a PO in frame f: %d <= f < %d.\n", r * nFrames, (r+1) * nFrames ); Ssw_RarManPrepareRandom( nRandSeed ); Abc_CexFree( pAig->pSeqModel ); @@ -1108,7 +1109,7 @@ finish: if ( r == nRounds && f == nFrames ) { if ( !fVerbose ) - printf( "\r" ); + printf( "%s", Abc_FrameIsBatchMode() ? "\n" : "\r" ); printf( "Simulation did not assert POs in the first %d frames. ", nRounds * nFrames ); Abc_PrintTime( 1, "Time", clock() - clkTotal ); } |