diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-03 21:53:13 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-03 21:53:13 -0700 |
| commit | 14f761950d20a38b13ea330baf9e800b64faae90 (patch) | |
| tree | 31f93e1c31275fcb1538c283fc057f35dfec495b | |
| parent | 50df0813fb07d5818d60ff96d408bbe0d684e207 (diff) | |
| download | abc-14f761950d20a38b13ea330baf9e800b64faae90.tar.gz abc-14f761950d20a38b13ea330baf9e800b64faae90.tar.bz2 abc-14f761950d20a38b13ea330baf9e800b64faae90.zip | |
Fix to return equiv classes after improving &iso.
| -rw-r--r-- | src/aig/gia/giaIso2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaIso2.c b/src/aig/gia/giaIso2.c index e878e19f..17b3ec40 100644 --- a/src/aig/gia/giaIso2.c +++ b/src/aig/gia/giaIso2.c @@ -678,7 +678,6 @@ Gia_Man_t * Gia_ManIsoReduce2( Gia_Man_t * pGia, Vec_Ptr_t ** pvPosEquivs, Vec_P printf( "Reduced %d outputs to %d equivalence classes (%d outputs are in %d non-trivial classes). ", Gia_ManPoNum(pGia), Vec_WecSize(vEquivs), nUsedPos, nClasses ); Abc_PrintTime( 1, "Time", clock() - clk ); - Vec_WecFree( vEquivs ); if ( fVerbose ) { printf( "Nontrivial classes:\n" ); @@ -688,6 +687,7 @@ Gia_Man_t * Gia_ManIsoReduce2( Gia_Man_t * pGia, Vec_Ptr_t ** pvPosEquivs, Vec_P *pvPiPerms = NULL; if ( pvPosEquivs ) *pvPosEquivs = Vec_WecConvertToVecPtr( vEquivs ); + Vec_WecFree( vEquivs ); // Gia_ManStopP( &pPart ); return pPart; } |