Misc/timing.py

   1 import time
   2 f=open('timing.out','w')
   3 temps={}
   4
   5 def debut(event):
   6    #temps[event]=time.clock()
   7    temps[event]=time.time()
   8
   9 def fin(event):
  10    #temps[event]=time.clock()-temps[event]
  11    temps[event]=time.time()-temps[event]
  12    f.write("%s %.4f\n"%(event,temps[event]))