diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-07 12:05:39 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-07 12:05:39 -0800 |
| commit | aa2c7c05466c9e0a4beb5e536a6ea2cd70333433 (patch) | |
| tree | 5aaf71532f31b078d607c3d793f85e82cc9ac9c7 /src/proof/abs | |
| parent | 36d8c000a4b1337d1d04496a1d0bd84c464618be (diff) | |
| download | abc-aa2c7c05466c9e0a4beb5e536a6ea2cd70333433.tar.gz abc-aa2c7c05466c9e0a4beb5e536a6ea2cd70333433.tar.bz2 abc-aa2c7c05466c9e0a4beb5e536a6ea2cd70333433.zip | |
Enabling verbose report of dumping abstraction in GLA.
Diffstat (limited to 'src/proof/abs')
| -rw-r--r-- | src/proof/abs/absGla.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/proof/abs/absGla.c b/src/proof/abs/absGla.c index ac0f2b22..0ed9f450 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 ); |