Skip to content

A
abc
Commit a5e93ff0 by Alan Mishchenko
Options

Corner-case bug fix in balancing.

parent 233e1261
Showing with 2 additions and 0 deletions
src/opt/dar/darBalance.c
...@@ -81,6 +81,8 @@ void Dar_BalanceUniqify( Aig_Obj_t * pObj, Vec_Ptr_t * vNodes, int fExor ) ...@@ -81,6 +81,8 @@ void Dar_BalanceUniqify( Aig_Obj_t * pObj, Vec_Ptr_t * vNodes, int fExor )
i++; i++;
} }
Vec_PtrShrink( vNodes, k ); Vec_PtrShrink( vNodes, k );
if ( Vec_PtrSize(vNodes) < 2 )
return;
// check that there is no duplicates // check that there is no duplicates
pTemp = (Aig_Obj_t *)Vec_PtrEntry( vNodes, 0 ); pTemp = (Aig_Obj_t *)Vec_PtrEntry( vNodes, 0 );
Vec_PtrForEachEntryStart( Aig_Obj_t *, vNodes, pTempNext, i, 1 ) Vec_PtrForEachEntryStart( Aig_Obj_t *, vNodes, pTempNext, i, 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