Skip to content

A
abc
Commit aa2c7c05 by Alan Mishchenko
Options

Enabling verbose report of dumping abstraction in GLA.

parent 36d8c000
Showing with 4 additions and 4 deletions
src/proof/abs/absGla.c
...@@ -1446,8 +1446,8 @@ void Ga2_GlaDumpAbsracted( Ga2_Man_t * p, int fVerbose ) ...@@ -1446,8 +1446,8 @@ void Ga2_GlaDumpAbsracted( Ga2_Man_t * p, int fVerbose )
if ( p->pPars->fDumpMabs ) if ( p->pPars->fDumpMabs )
{ {
pFileName = Ga2_GlaGetFileName(p, 0); pFileName = Ga2_GlaGetFileName(p, 0);
// if ( fVerbose ) if ( fVerbose )
// Abc_Print( 1, "Dumping miter with abstraction map into file \"%s\"...\n", pFileName ); Abc_Print( 1, "Dumping miter with abstraction map into file \"%s\"...\n", pFileName );
// dump abstraction map // dump abstraction map
Vec_IntFreeP( &p->pGia->vGateClasses ); Vec_IntFreeP( &p->pGia->vGateClasses );
p->pGia->vGateClasses = Ga2_ManAbsTranslate( p ); p->pGia->vGateClasses = Ga2_ManAbsTranslate( p );
...@@ -1458,8 +1458,8 @@ void Ga2_GlaDumpAbsracted( Ga2_Man_t * p, int fVerbose ) ...@@ -1458,8 +1458,8 @@ void Ga2_GlaDumpAbsracted( Ga2_Man_t * p, int fVerbose )
Vec_Int_t * vGateClasses; Vec_Int_t * vGateClasses;
Gia_Man_t * pAbs; Gia_Man_t * pAbs;
pFileName = Ga2_GlaGetFileName(p, 1); pFileName = Ga2_GlaGetFileName(p, 1);
// if ( fVerbose ) if ( fVerbose )
// Abc_Print( 1, "Dumping abstracted model into file \"%s\"...\n", pFileName ); Abc_Print( 1, "Dumping abstracted model into file \"%s\"...\n", pFileName );
// dump absracted model // dump absracted model
vGateClasses = Ga2_ManAbsTranslate( p ); vGateClasses = Ga2_ManAbsTranslate( p );
pAbs = Gia_ManDupAbsGates( p->pGia, vGateClasses ); pAbs = Gia_ManDupAbsGates( p->pGia, vGateClasses );
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment