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

Fix in reading initial state for edge-detection.

This commit is contained in:
Alan Mishchenko 2016-07-19 13:26:24 -07:00
parent 0f59f00c74
commit 190dc37600
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
abclib.dsp
View File

@ -267,6 +267,10 @@ SOURCE=.\src\base\abci\abcDsd.c
# End Source File
# Begin Source File
SOURCE=.\src\base\abci\abcExact.c
# End Source File
# Begin Source File
SOURCE=.\src\base\abci\abcExtract.c
# End Source File
# Begin Source File

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

@ -605,6 +605,8 @@ void Sle_ManDeriveInit( Sle_Man_t * p )
assert( Gia_ObjIsAnd(Gia_ManObj(p->pGia, iObj)) );
// find edge
iEdge = Vec_IntFind( Vec_WecEntry(p->vCutFanins, iObj), iFanin );
if ( iEdge < 0 )
continue;
assert( iEdge >= 0 );
Vec_IntPush( p->vPolars, Vec_IntEntry(p->vEdgeFirst, iObj) + iEdge ); // edge
}