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

Fixing mismatch in reconcile.

This commit is contained in:
Alan Mishchenko 2011-05-13 10:19:29 +08:00
parent 3c7842be32
commit 265db2a9d1
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/aig/llb/llb4Cex.c
View File

@ -237,7 +237,17 @@ Vec_Ptr_t * Llb4_Nonlin4VerifyCex( Aig_Man_t * pAig, Abc_Cex_t * p )
}
*/
assert( iBit == p->nBits );
if ( Aig_ManPo(pAig, p->iPo)->fMarkB == 0 )
// if ( Aig_ManPo(pAig, p->iPo)->fMarkB == 0 )
// Vec_PtrFreeP( &vStates );
for ( i = Saig_ManPoNum(pAig) - 1; i >= 0; i-- )
{
if ( Aig_ManPo(pAig, i)->fMarkB )
{
p->iPo = i;
break;
}
}
if ( i == -1 )
Vec_PtrFreeP( &vStates );
Aig_ManCleanMarkB(pAig);
return vStates;