From aa2c7c05466c9e0a4beb5e536a6ea2cd70333433 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 7 Nov 2012 12:05:39 -0800 Subject: [PATCH] Enabling verbose report of dumping abstraction in GLA. --- src/proof/abs/absGla.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/proof/abs/absGla.c b/src/proof/abs/absGla.c index ac0f2b222..0ed9f450f 100644 --- a/src/proof/abs/absGla.c +++ b/src/proof/abs/absGla.c @@ -1446,8 +1446,8 @@ void Ga2_GlaDumpAbsracted( Ga2_Man_t * p, int fVerbose ) if ( p->pPars->fDumpMabs ) { pFileName = Ga2_GlaGetFileName(p, 0); -// if ( fVerbose ) -// Abc_Print( 1, "Dumping miter with abstraction map into file \"%s\"...\n", pFileName ); + if ( fVerbose ) + Abc_Print( 1, "Dumping miter with abstraction map into file \"%s\"...\n", pFileName ); // dump abstraction map Vec_IntFreeP( &p->pGia->vGateClasses ); p->pGia->vGateClasses = Ga2_ManAbsTranslate( p ); @@ -1458,8 +1458,8 @@ void Ga2_GlaDumpAbsracted( Ga2_Man_t * p, int fVerbose ) Vec_Int_t * vGateClasses; Gia_Man_t * pAbs; pFileName = Ga2_GlaGetFileName(p, 1); -// if ( fVerbose ) -// Abc_Print( 1, "Dumping abstracted model into file \"%s\"...\n", pFileName ); + if ( fVerbose ) + Abc_Print( 1, "Dumping abstracted model into file \"%s\"...\n", pFileName ); // dump absracted model vGateClasses = Ga2_ManAbsTranslate( p ); pAbs = Gia_ManDupAbsGates( p->pGia, vGateClasses );