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

Prevent assertions from firing for deep logic networks.

This commit is contained in:
Alan Mishchenko 2019-03-20 22:07:27 +02:00
parent 911c11afeb
commit f0efc6e098
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/map/if/ifCut.c
View File

@ -1106,8 +1106,8 @@ float If_CutAreaDerefed( If_Man_t * p, If_Cut_t * pCut )
return 0; return 0;
aResult2 = If_CutAreaRef( p, pCut ); aResult2 = If_CutAreaRef( p, pCut );
aResult = If_CutAreaDeref( p, pCut ); aResult = If_CutAreaDeref( p, pCut );
assert( aResult > aResult2 - p->fEpsilon ); assert( aResult > aResult2 - 3*p->fEpsilon );
assert( aResult < aResult2 + p->fEpsilon ); assert( aResult < aResult2 + 3*p->fEpsilon );
return aResult; return aResult;
} }
@ -1207,8 +1207,8 @@ float If_CutEdgeDerefed( If_Man_t * p, If_Cut_t * pCut )
return pCut->nLeaves; return pCut->nLeaves;
aResult2 = If_CutEdgeRef( p, pCut ); aResult2 = If_CutEdgeRef( p, pCut );
aResult = If_CutEdgeDeref( p, pCut ); aResult = If_CutEdgeDeref( p, pCut );
assert( aResult > aResult2 - p->fEpsilon ); assert( aResult > aResult2 - 3*p->fEpsilon );
assert( aResult < aResult2 + p->fEpsilon ); assert( aResult < aResult2 + 3*p->fEpsilon );
return aResult; return aResult;
} }