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

Fixing several potential bugs.

This commit is contained in:
Alan Mishchenko 2019-03-19 11:26:43 +02:00
parent cde2830d7c
commit 66d2201c2b
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/bdd/dsd/dsdProc.c
View File

@ -873,7 +873,7 @@ if ( s_Show )
for ( m = 0; m < pLR->nDecs; m++ )
if ( pLR->pDecs[m] != pLastDiffL )
pCommon[nCommon++] = pLR->pDecs[m];
assert( nCommon = pLR->nDecs-1 );
assert( nCommon == pLR->nDecs-1 );
}
}
else

2
src/proof/live/ltl_parser.c
View File

@ -519,7 +519,7 @@ void populateAigPointerUnitGF( Aig_Man_t *pAigNew, ltlNode *topASTNode, Vec_Ptr_
return;
case GLOBALLY:
nextNode = topASTNode->left;
assert( nextNode->type = EVENTUALLY );
assert( nextNode->type == EVENTUALLY );
nextToNextNode = nextNode->left;
if( nextToNextNode->type == BOOL )
{

2
src/proof/ssc/sscUtil.c
View File

@ -96,7 +96,7 @@ Gia_Man_t * Gia_ManDropContained( Gia_Man_t * p )
Vec_IntWriteEntry( vLits, i, ConstLit ); // const1 SAT var is always true
else
{
assert( status = l_True );
assert( status == l_True );
Vec_IntPush( vKeep, i );
}
}