diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-16 16:48:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-16 16:48:50 -0700 |
| commit | c15137bd3f0bee2b988902e4683722291c195708 (patch) | |
| tree | c87cb5abe2d08f58bb2b104ec31595f73c691fe2 /src/proof/abs/absPth.c | |
| parent | ee436f9377201e15f1a8a52acf27e78139841d6c (diff) | |
| download | abc-c15137bd3f0bee2b988902e4683722291c195708.tar.gz abc-c15137bd3f0bee2b988902e4683722291c195708.tar.bz2 abc-c15137bd3f0bee2b988902e4683722291c195708.zip | |
Improving printouts in &gla.
Diffstat (limited to 'src/proof/abs/absPth.c')
| -rw-r--r-- | src/proof/abs/absPth.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/proof/abs/absPth.c b/src/proof/abs/absPth.c index fb10eb81..d32cd9f5 100644 --- a/src/proof/abs/absPth.c +++ b/src/proof/abs/absPth.c @@ -24,7 +24,7 @@ // to compile on Linux, add -lpthread to LIBS in Makefile // uncomment this line to enable pthreads -//#define ABC_USE_PTHREADS +#define ABC_USE_PTHREADS #ifdef ABC_USE_PTHREADS @@ -118,11 +118,11 @@ void * Abs_ProverThread( void * pArg ) if ( pThData->fVerbose ) { if ( RetValue == 1 ) - Abc_Print( 1, "\nProved abstraction %d.\n", pThData->RunId ); + Abc_Print( 1, "Proved abstraction %d.\n", pThData->RunId ); else if ( RetValue == 0 ) - Abc_Print( 1, "\nDisproved abstraction %d.\n", pThData->RunId ); + Abc_Print( 1, "Disproved abstraction %d.\n", pThData->RunId ); else if ( RetValue == -1 ) - Abc_Print( 1, "\nCancelled abstraction %d.\n", pThData->RunId ); + Abc_Print( 1, "Cancelled abstraction %d.\n", pThData->RunId ); else assert( 0 ); } // free memory @@ -141,7 +141,7 @@ void Gia_GlaProveAbsracted( Gia_Man_t * pGia, int fVerbose ) pthread_t ProverThread; int status; // disable verbosity - fVerbose = 0; +// fVerbose = 0; // create abstraction assert( pGia->vGateClasses != NULL ); pAbs = Gia_ManDupAbsGates( pGia, pGia->vGateClasses ); |