diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-15 08:45:12 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-15 08:45:12 -0700 |
| commit | 2f1f0ac93dbd280dbe944e258ab48296759d3493 (patch) | |
| tree | 537532f1ece5f6f9c19ef7df6777b2434bc1bd6a | |
| parent | 082d27ede81a88586de914bb33c0f9c5e33bab08 (diff) | |
| download | abc-2f1f0ac93dbd280dbe944e258ab48296759d3493.tar.gz abc-2f1f0ac93dbd280dbe944e258ab48296759d3493.tar.bz2 abc-2f1f0ac93dbd280dbe944e258ab48296759d3493.zip | |
Minor change to prevent assertion failure when verifying required times.
| -rw-r--r-- | src/map/mapper/mapperTime.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/mapper/mapperTime.c b/src/map/mapper/mapperTime.c index 414aa60c..0c6efc91 100644 --- a/src/map/mapper/mapperTime.c +++ b/src/map/mapper/mapperTime.c @@ -350,14 +350,14 @@ void Map_TimePropagateRequired( Map_Man_t * p, Map_NodeVec_t * vNodes ) continue; // verify that the required times are propagated correctly // if ( pNode->pCutBest[0] && (pNode->nRefAct[0] > 0 || pNode->pCutBest[1] == NULL) ) - if ( pNode->pCutBest[0] && pNode->tRequired[0].Worst < MAP_FLOAT_LARGE ) + if ( pNode->pCutBest[0] && pNode->tRequired[0].Worst < MAP_FLOAT_LARGE/2 ) { Map_MatchComputeReqTimes( pNode->pCutBest[0], 0, ptReqOutTest ); assert( ptReqOutTest->Rise < pNode->tRequired[0].Rise + 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->tRequired[1].Worst < MAP_FLOAT_LARGE ) + if ( pNode->pCutBest[1] && pNode->tRequired[1].Worst < MAP_FLOAT_LARGE/2 ) { Map_MatchComputeReqTimes( pNode->pCutBest[1], 1, ptReqOutTest ); assert( ptReqOutTest->Rise < pNode->tRequired[1].Rise + p->fEpsilon ); |