next up previous contents index
Next: function_percent Up: Execution profile Previous: start_profile

stop_profile

   int stop_profile()

Stops profiling and returns the amount of time the timer has run.



Lionel Fournigault
Fri Nov 6 17:00:30 MET 1998