Commit 24408a48 by Alan Mishchenko

Bug fix in GLA PBA.

parent c7a74442
...@@ -429,6 +429,7 @@ int Gia_ManGlaPbaPerform( Gia_Man_t * pGia, void * pPars ) ...@@ -429,6 +429,7 @@ int Gia_ManGlaPbaPerform( Gia_Man_t * pGia, void * pPars )
extern Vec_Int_t * Aig_Gla2ManPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nConfLimit, int TimeLimit, int fSkipRand, int fVerbose ); extern Vec_Int_t * Aig_Gla2ManPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nConfLimit, int TimeLimit, int fSkipRand, int fVerbose );
Saig_ParBmc_t * p = (Saig_ParBmc_t *)pPars; Saig_ParBmc_t * p = (Saig_ParBmc_t *)pPars;
Vec_Int_t * vGateClasses; Vec_Int_t * vGateClasses;
Gia_Man_t * pGiaAbs;
Aig_Man_t * pAig; Aig_Man_t * pAig;
// check if flop classes are given // check if flop classes are given
...@@ -439,7 +440,6 @@ int Gia_ManGlaPbaPerform( Gia_Man_t * pGia, void * pPars ) ...@@ -439,7 +440,6 @@ int Gia_ManGlaPbaPerform( Gia_Man_t * pGia, void * pPars )
} }
else else
{ {
Gia_Man_t * pGiaAbs;
Abc_Print( 0, "Initial gate map is given. Abstraction refines this map.\n" ); Abc_Print( 0, "Initial gate map is given. Abstraction refines this map.\n" );
pGiaAbs = Gia_ManDupAbsGates( pGia, pGia->vGateClasses ); pGiaAbs = Gia_ManDupAbsGates( pGia, pGia->vGateClasses );
pAig = Gia_ManToAigSimple( pGiaAbs ); pAig = Gia_ManToAigSimple( pGiaAbs );
...@@ -483,6 +483,9 @@ int Gia_ManGlaPbaPerform( Gia_Man_t * pGia, void * pPars ) ...@@ -483,6 +483,9 @@ int Gia_ManGlaPbaPerform( Gia_Man_t * pGia, void * pPars )
Vec_IntFreeP( &pGia->vGateClasses ); Vec_IntFreeP( &pGia->vGateClasses );
pGia->vGateClasses = vGateClasses; pGia->vGateClasses = vGateClasses;
} }
// clean up the abstraction map
pGiaAbs = Gia_ManDupAbsGates( pGia, pGia->vGateClasses );
Gia_ManStop( pGiaAbs );
if ( p->fVerbose ) if ( p->fVerbose )
Gia_ManPrintStats( pGia, 0 ); Gia_ManPrintStats( pGia, 0 );
return 1; return 1;
......
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