From c15137bd3f0bee2b988902e4683722291c195708 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 16 Sep 2012 16:48:50 -0700 Subject: Improving printouts in &gla. --- src/proof/abs/absPth.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/proof/abs/absPth.c') 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 ); -- cgit v1.2.3