Improving printouts of critical path.

src/base/abci/abcTiming.c

@@ -893,7 +893,7 @@ float Abc_NtkDelayTrace( Abc_Ntk_t * pNtk, Abc_Obj_t * pOut, Abc_Obj_t * pIn, in
             int k, iFanin, Length = 0;
             Abc_Obj_t * pFanin;
             // check the additional slack
-            SlackAdd = Abc_MaxFloat( 0.0, Abc_NodeRequired(pOut)->Worst - Abc_NodeArrival(Abc_ObjFanin0(pOut))->Worst );
+            SlackAdd = Abc_NodeRequired(pOut)->Worst - Abc_NodeArrival(Abc_ObjFanin0(pOut))->Worst;
             // collect the critical path
             Abc_NtkDelayTraceCritPathCollect_rec( vSlacks, Abc_ObjFanin0(pOut), vBest, vPath );
             if ( pIn == NULL )
@@ -941,11 +941,8 @@ float Abc_NtkDelayTrace( Abc_Ntk_t * pNtk, Abc_Obj_t * pOut, Abc_Obj_t * pIn, in
             }
             printf( "Level %3d : ", Abc_ObjLevel(Abc_ObjFanin0(pOut)) + 1 );
             printf( "Primary output \"%s\".   ", Abc_ObjName(pOut) );
-            if ( Abc_NodeRequired(pOut)->Worst - Abc_NodeArrival(Abc_ObjFanin0(pOut))->Worst <= 0.0 )
-                printf( "Required time = %6.1f.  ", Abc_NodeReadArrival(Abc_ObjFanin0(pOut))->Worst );
-            else
             printf( "Required time = %6.1f.  ", Abc_NodeRequired(pOut)->Worst );
-            printf( "Path slack = %6.1f.\n", Slack );
+            printf( "Path slack = %6.1f.\n", SlackAdd );
         }
         Vec_PtrFree( vPath );
         Vec_IntFree( vBest );