def lap_timer(self):
    t = time.time()
    r = t - self.laptime
    self.laptime = t
    return r
return the time elapsed since the last call to lap_timer
dataset/ETHPy150Open jansel/opentuner/opentuner/measurement/driver.py/MeasurementDriver.lap_timer