summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2019-03-20 22:07:27 +0200
committerAlan Mishchenko <alanmi@berkeley.edu>2019-03-20 22:07:27 +0200
commitf0efc6e098281ca55e837a3de68e48d4dbb121aa (patch)
treead7b37a1563e72da46e6f0acb00b668a8e375020 /src
parent911c11afeb85dee8fadff7b785e843f1df8c9cdb (diff)
downloadabc-f0efc6e098281ca55e837a3de68e48d4dbb121aa.tar.gz
abc-f0efc6e098281ca55e837a3de68e48d4dbb121aa.tar.bz2
abc-f0efc6e098281ca55e837a3de68e48d4dbb121aa.zip
Prevent assertions from firing for deep logic networks.
Diffstat (limited to 'src')
-rw-r--r--src/map/if/ifCut.c8
1 files changed, 4 insertions, 4 deletions
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;
}