From f0efc6e098281ca55e837a3de68e48d4dbb121aa Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 20 Mar 2019 22:07:27 +0200 Subject: Prevent assertions from firing for deep logic networks. --- src/map/if/ifCut.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/map') diff --git a/src/map/if/ifCut.c b/src/map/if/ifCut.c index 52603671..ad37b77f 100644 --- a/src/map/if/ifCut.c +++ b/src/map/if/ifCut.c @@ -1106,8 +1106,8 @@ float If_CutAreaDerefed( If_Man_t * p, If_Cut_t * pCut ) return 0; aResult2 = If_CutAreaRef( p, pCut ); aResult = If_CutAreaDeref( p, pCut ); - assert( aResult > aResult2 - p->fEpsilon ); - assert( aResult < aResult2 + p->fEpsilon ); + assert( aResult > aResult2 - 3*p->fEpsilon ); + assert( aResult < aResult2 + 3*p->fEpsilon ); return aResult; } @@ -1207,8 +1207,8 @@ float If_CutEdgeDerefed( If_Man_t * p, If_Cut_t * pCut ) return pCut->nLeaves; aResult2 = If_CutEdgeRef( p, pCut ); aResult = If_CutEdgeDeref( p, pCut ); - assert( aResult > aResult2 - p->fEpsilon ); - assert( aResult < aResult2 + p->fEpsilon ); + assert( aResult > aResult2 - 3*p->fEpsilon ); + assert( aResult < aResult2 + 3*p->fEpsilon ); return aResult; } -- cgit v1.2.3