diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-25 20:47:11 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-25 20:47:11 -0500 |
| commit | 70a3474849b049c149ac1b5c4ec34dee731859d5 (patch) | |
| tree | 3d8e209acf91be06821787bacdcdcbcf0a3deccf /src/map/if | |
| parent | 5c30eb10eff1c8f3789dd49260ebf08da84bd804 (diff) | |
| download | abc-70a3474849b049c149ac1b5c4ec34dee731859d5.tar.gz abc-70a3474849b049c149ac1b5c4ec34dee731859d5.tar.bz2 abc-70a3474849b049c149ac1b5c4ec34dee731859d5.zip | |
Improvements to the timing manager.
Diffstat (limited to 'src/map/if')
| -rw-r--r-- | src/map/if/ifLibBox.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifLibBox.c b/src/map/if/ifLibBox.c index 799d2aed..a4aa5960 100644 --- a/src/map/if/ifLibBox.c +++ b/src/map/if/ifLibBox.c @@ -323,7 +323,7 @@ If_LibBox_t * If_LibBoxRead( char * pFileName ) for ( i = 0; i < nPis * nPos; i++ ) { pToken = If_LibBoxGetToken( pFile ); - pBox->pDelays[i] = (pToken[0] == '-') ? -1 : atoi(pToken); + pBox->pDelays[i] = (pToken[0] == '-') ? -ABC_INFINITY : atoi(pToken); } // extract next name pToken = If_LibBoxGetToken( pFile ); @@ -342,7 +342,7 @@ void If_LibBoxPrint( FILE * pFile, If_LibBox_t * p ) fprintf( pFile, "%s %d %d %d %d\n", pBox->pName, pBox->Id, !pBox->fBlack, pBox->nPis, pBox->nPos ); for ( j = 0; j < pBox->nPos; j++, printf("\n") ) for ( k = 0; k < pBox->nPis; k++ ) - if ( pBox->pDelays[j * pBox->nPis + k] == -1 ) + if ( pBox->pDelays[j * pBox->nPis + k] == -ABC_INFINITY ) fprintf( pFile, " - " ); else fprintf( pFile, "%5d ", pBox->pDelays[j * pBox->nPis + k] ); |