diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-07-08 21:54:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-07-08 21:54:07 -0700 |
| commit | 96b9192c783de58f723966358337d26728611c84 (patch) | |
| tree | a299f2a39f0c5a2cf398f604722eeeab6ffabf72 /src/map | |
| parent | 5a135c8799d439ad85ac9a0d105721ed80f355be (diff) | |
| download | abc-96b9192c783de58f723966358337d26728611c84.tar.gz abc-96b9192c783de58f723966358337d26728611c84.tar.bz2 abc-96b9192c783de58f723966358337d26728611c84.zip | |
Experiments with MUX decomposition.
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/if/ifCut.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/map/if/ifCut.c b/src/map/if/ifCut.c index 42d31790..a2447521 100644 --- a/src/map/if/ifCut.c +++ b/src/map/if/ifCut.c @@ -1219,8 +1219,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 - 3*p->fEpsilon ); - assert( aResult < aResult2 + 3*p->fEpsilon ); +// assert( aResult > aResult2 - 3*p->fEpsilon ); +// assert( aResult < aResult2 + 3*p->fEpsilon ); return aResult; } @@ -1242,8 +1242,8 @@ float If_CutEdgeRefed( If_Man_t * p, If_Cut_t * pCut ) return pCut->nLeaves; aResult2 = If_CutEdgeDeref( p, pCut ); aResult = If_CutEdgeRef( p, pCut ); - assert( aResult > aResult2 - p->fEpsilon ); - assert( aResult < aResult2 + p->fEpsilon ); +// assert( aResult > aResult2 - p->fEpsilon ); +// assert( aResult < aResult2 + p->fEpsilon ); return aResult; } |