Skip to content

A
abc
Commit 20bd241e by Alan Mishchenko
Options

Commenting out some assertions in the 'map' mapper.

parent d40af538
Showing with 4 additions and 4 deletions
src/map/mapper/mapperTime.c
...@@ -353,15 +353,15 @@ void Map_TimePropagateRequired( Map_Man_t * p, Map_NodeVec_t * vNodes ) ...@@ -353,15 +353,15 @@ void Map_TimePropagateRequired( Map_Man_t * p, Map_NodeVec_t * vNodes )
if ( pNode->pCutBest[0] && pNode->tRequired[0].Worst < MAP_FLOAT_LARGE/2 ) if ( pNode->pCutBest[0] && pNode->tRequired[0].Worst < MAP_FLOAT_LARGE/2 )
{ {
Map_MatchComputeReqTimes( pNode->pCutBest[0], 0, ptReqOutTest ); Map_MatchComputeReqTimes( pNode->pCutBest[0], 0, ptReqOutTest );
assert( ptReqOutTest->Rise < pNode->tRequired[0].Rise + p->fEpsilon ); // assert( ptReqOutTest->Rise < pNode->tRequired[0].Rise + p->fEpsilon );
assert( ptReqOutTest->Fall < pNode->tRequired[0].Fall + p->fEpsilon ); // assert( ptReqOutTest->Fall < pNode->tRequired[0].Fall + p->fEpsilon );
} }
// if ( pNode->pCutBest[1] && (pNode->nRefAct[1] > 0 || pNode->pCutBest[0] == NULL) ) // if ( pNode->pCutBest[1] && (pNode->nRefAct[1] > 0 || pNode->pCutBest[0] == NULL) )
if ( pNode->pCutBest[1] && pNode->tRequired[1].Worst < MAP_FLOAT_LARGE/2 ) if ( pNode->pCutBest[1] && pNode->tRequired[1].Worst < MAP_FLOAT_LARGE/2 )
{ {
Map_MatchComputeReqTimes( pNode->pCutBest[1], 1, ptReqOutTest ); Map_MatchComputeReqTimes( pNode->pCutBest[1], 1, ptReqOutTest );
assert( ptReqOutTest->Rise < pNode->tRequired[1].Rise + p->fEpsilon ); // assert( ptReqOutTest->Rise < pNode->tRequired[1].Rise + p->fEpsilon );
assert( ptReqOutTest->Fall < pNode->tRequired[1].Fall + p->fEpsilon ); // assert( ptReqOutTest->Fall < pNode->tRequired[1].Fall + p->fEpsilon );
} }
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment