diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-10 13:35:25 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-10 13:35:25 +0700 |
| commit | aed898c8782d6335a21c4c5e5a4fddc5619f1e74 (patch) | |
| tree | d248b673635ea3f29dcf1bf6030a410eac5c300c /src/map/mapper | |
| parent | 0a79a38a4dc385d7cd76a94f349b0f1af44ae82e (diff) | |
| download | abc-aed898c8782d6335a21c4c5e5a4fddc5619f1e74.tar.gz abc-aed898c8782d6335a21c4c5e5a4fddc5619f1e74.tar.bz2 abc-aed898c8782d6335a21c4c5e5a4fddc5619f1e74.zip | |
Commented out assertions that do not hold due to rounding of floating point numbers.
Diffstat (limited to 'src/map/mapper')
| -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 6915116c..414d366a 100644 --- a/src/map/mapper/mapperTime.c +++ b/src/map/mapper/mapperTime.c @@ -210,8 +210,8 @@ void Map_TimePropagateRequiredPhase( Map_Man_t * p, Map_Node_t * pNode, int fPha } // compare the required times with the arrival times - assert( pNode->tArrival[fPhase].Rise < ptReqOut->Rise + p->fEpsilon ); - assert( pNode->tArrival[fPhase].Fall < ptReqOut->Fall + p->fEpsilon ); +// assert( pNode->tArrival[fPhase].Rise < ptReqOut->Rise + p->fEpsilon ); +// assert( pNode->tArrival[fPhase].Fall < ptReqOut->Fall + p->fEpsilon ); } float Map_MatchComputeReqTimes( Map_Cut_t * pCut, int fPhase, Map_Time_t * ptArrRes ) { |