Searched defs:timing_file (Results 1 - 1 of 1) sorted by relevance

/pkg/src/tests/
H A Drun.py134 timing_file = False
165 timing_file = True
468 if timing_file:
469 timing_file = os.path.join(os.getcwd(), "timing_info.txt") variable
470 if os.path.exists(timing_file):
471 os.remove(timing_file)
495 timing_file=timing_file, variable

Completed in 12 milliseconds