diff options
-rw-r--r-- | src/base/abci/abcTiming.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index f9555930..f0cccdca 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -935,7 +935,8 @@ float Abc_NtkDelayTrace( Abc_Ntk_t * pNtk, Abc_Obj_t * pOut, Abc_Obj_t * pIn, in printf( "I/O times: (" ); Abc_ObjForEachFanin( pNode, pFanin, k ) printf( "%s%.1f", (k? ", ":""), Abc_NodeReadArrival(pFanin)->Worst ); - printf( " -> %.1f)", Abc_NodeReadArrival(pNode)->Worst + Slack + SlackAdd ); +// printf( " -> %.1f)", Abc_NodeReadArrival(pNode)->Worst + Slack + SlackAdd ); + printf( " -> %.1f)", Abc_NodeReadArrival(pNode)->Worst ); } printf( "\n" ); } |