diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-07 14:09:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-07 14:09:22 -0700 |
| commit | 9b54345120ff554c22101a2dd42462a1596c1f9a (patch) | |
| tree | f2eabbab4c4a583f0a3452c0e0c0e04eb4e9dd82 /src/map/mapper | |
| parent | 3c6def2915664328df40b939e48941e6a2fcb475 (diff) | |
| download | abc-9b54345120ff554c22101a2dd42462a1596c1f9a.tar.gz abc-9b54345120ff554c22101a2dd42462a1596c1f9a.tar.bz2 abc-9b54345120ff554c22101a2dd42462a1596c1f9a.zip | |
Commented out some assertions in
'map'.
Diffstat (limited to 'src/map/mapper')
| -rw-r--r-- | src/map/mapper/mapperMatch.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/map/mapper/mapperMatch.c b/src/map/mapper/mapperMatch.c index aa0d97a3..97b3737a 100644 --- a/src/map/mapper/mapperMatch.c +++ b/src/map/mapper/mapperMatch.c @@ -251,8 +251,8 @@ int Map_MatchNodePhase( Map_Man_t * p, Map_Node_t * pNode, int fPhase ) { Map_TimeCutComputeArrival( pNode, pCutBest, fPhase, MAP_FLOAT_LARGE ); // make sure that the required times are met - assert( pCutBest->M[fPhase].tArrive.Rise < pNode->tRequired[fPhase].Rise + p->fEpsilon ); - assert( pCutBest->M[fPhase].tArrive.Fall < pNode->tRequired[fPhase].Fall + p->fEpsilon ); +// assert( pCutBest->M[fPhase].tArrive.Rise < pNode->tRequired[fPhase].Rise + p->fEpsilon ); +// assert( pCutBest->M[fPhase].tArrive.Fall < pNode->tRequired[fPhase].Fall + p->fEpsilon ); } // recompute the exact area of the current best match @@ -332,8 +332,8 @@ int Map_MatchNodePhase( Map_Man_t * p, Map_Node_t * pNode, int fPhase ) } // make sure that the requited times are met - assert( MatchBest.tArrive.Rise < pNode->tRequired[fPhase].Rise + p->fEpsilon ); - assert( MatchBest.tArrive.Fall < pNode->tRequired[fPhase].Fall + p->fEpsilon ); +// assert( MatchBest.tArrive.Rise < pNode->tRequired[fPhase].Rise + p->fEpsilon ); +// assert( MatchBest.tArrive.Fall < pNode->tRequired[fPhase].Fall + p->fEpsilon ); return 1; } @@ -528,11 +528,11 @@ void Map_NodeTransferArrivalTimes( Map_Man_t * p, Map_Node_t * pNode ) assert( 0 ); } - assert( pNode->tArrival[0].Rise < pNode->tRequired[0].Rise + p->fEpsilon ); - assert( pNode->tArrival[0].Fall < pNode->tRequired[0].Fall + p->fEpsilon ); +// assert( pNode->tArrival[0].Rise < pNode->tRequired[0].Rise + p->fEpsilon ); +// assert( pNode->tArrival[0].Fall < pNode->tRequired[0].Fall + p->fEpsilon ); - assert( pNode->tArrival[1].Rise < pNode->tRequired[1].Rise + p->fEpsilon ); - assert( pNode->tArrival[1].Fall < pNode->tRequired[1].Fall + p->fEpsilon ); +// assert( pNode->tArrival[1].Rise < pNode->tRequired[1].Rise + p->fEpsilon ); +// assert( pNode->tArrival[1].Fall < pNode->tRequired[1].Fall + p->fEpsilon ); } /**Function************************************************************* |