Skip to content

A
abc
Commit 5760c322 by Alan Mishchenko
Options

Scalable gate-level abstraction.

parent 30ae05f0
Showing with 3 additions and 2 deletions
src/aig/gia/giaAbsGla2.c
...@@ -327,7 +327,7 @@ int Ga2_ManMarkup( Gia_Man_t * p, int N, int fSimple ) ...@@ -327,7 +327,7 @@ int Ga2_ManMarkup( Gia_Man_t * p, int N, int fSimple )
Vec_IntPush( p->vMapping, -1 ); // placeholder for ref counter Vec_IntPush( p->vMapping, -1 ); // placeholder for ref counter
CountMarks++; CountMarks++;
} }
Abc_PrintTime( 1, "Time", clock() - clk ); // Abc_PrintTime( 1, "Time", clock() - clk );
Vec_IntFree( vLeaves ); Vec_IntFree( vLeaves );
return CountMarks; return CountMarks;
} }
...@@ -450,7 +450,7 @@ void Ga2_ManStop( Ga2_Man_t * p ) ...@@ -450,7 +450,7 @@ void Ga2_ManStop( Ga2_Man_t * p )
Vec_IntFree( p->vValues ); Vec_IntFree( p->vValues );
Vec_IntFree( p->vLits ); Vec_IntFree( p->vLits );
Vec_IntFree( p->vIsopMem ); Vec_IntFree( p->vIsopMem );
Rnm_ManStop( p->pRnm, 1 ); Rnm_ManStop( p->pRnm, p->pPars->fVerbose );
ABC_FREE( p->pTable ); ABC_FREE( p->pTable );
ABC_FREE( p->pSopSizes ); ABC_FREE( p->pSopSizes );
ABC_FREE( p->pSops[1] ); ABC_FREE( p->pSops[1] );
...@@ -1685,6 +1685,7 @@ int Ga2_ManPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) ...@@ -1685,6 +1685,7 @@ int Ga2_ManPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
} }
finish: finish:
Prf_ManStopP( &p->pSat->pPrf2 ); Prf_ManStopP( &p->pSat->pPrf2 );
if ( p->pPars->fVeryVerbose )
Abc_Print( 1, "\n" ); Abc_Print( 1, "\n" );
// analize the results // analize the results
if ( pAig->pCexSeq == NULL ) if ( pAig->pCexSeq == NULL )
......
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