diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-30 19:04:45 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-30 19:04:45 +0700 |
| commit | 686f8fdaa64243155e09ec4deed3ebf8f099edec (patch) | |
| tree | 80812fb69c0ce605d43816e8aa803baee0d466d9 /src/misc/tim | |
| parent | a2eb6f9a07f484d6ec941949b2e0e6421d8176dc (diff) | |
| download | abc-686f8fdaa64243155e09ec4deed3ebf8f099edec.tar.gz abc-686f8fdaa64243155e09ec4deed3ebf8f099edec.tar.bz2 abc-686f8fdaa64243155e09ec4deed3ebf8f099edec.zip | |
Integration of timing manager.
Diffstat (limited to 'src/misc/tim')
| -rw-r--r-- | src/misc/tim/timMan.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c index a0f3a6a2..60581e8e 100644 --- a/src/misc/tim/timMan.c +++ b/src/misc/tim/timMan.c @@ -309,6 +309,8 @@ void Tim_ManPrint( Tim_Man_t * p ) if ( p == NULL ) return; printf( "TIMING MANAGER:\n" ); + printf( "PI = %d. CI = %d. PO = %d. CO = %d. Box = %d.\n", + Tim_ManPiNum(p), Tim_ManCiNum(p), Tim_ManPoNum(p), Tim_ManCoNum(p), Tim_ManBoxNum(p) ); // print CI info pPrev = p->pCis; |