| changeset 14494 | 1ffeeb91c55d |
| parent 14322 | a90131b85fd8 |
| child 14671 | 35c2cc322ba8 |
| 14493:5cc7905bccc9 | 14494:1ffeeb91c55d |
|---|---|
6 |
6 |
7 def timer(func, title=None): |
7 def timer(func, title=None): |
8 results = [] |
8 results = [] |
9 begin = time.time() |
9 begin = time.time() |
10 count = 0 |
10 count = 0 |
11 while 1: |
11 while True: |
12 ostart = os.times() |
12 ostart = os.times() |
13 cstart = time.time() |
13 cstart = time.time() |
14 r = func() |
14 r = func() |
15 cstop = time.time() |
15 cstop = time.time() |
16 ostop = os.times() |
16 ostop = os.times() |