luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix to return equiv classes after improving &iso.

This commit is contained in:
Alan Mishchenko 2013-05-03 21:53:13 -07:00
parent 50df0813fb
commit 14f761950d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/gia/giaIso2.c
View File

@ -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;
}