Fix bug where testdepth would not be decreased on failed match #45
Job | Run time |
---|---|
12s | |
15s | |
17s | |
20s | |
23s | |
18s | |
19s | |
20s | |
18s | |
17s | |
22s | |
19s | |
27s | |
22s | |
19s | |
32s | |
21s | |
22s | |
26s | |
20s | |
18s | |
15s | |
37s | |
7m 59s |
Job | Run time |
---|---|
12s | |
15s | |
17s | |
20s | |
23s | |
18s | |
19s | |
20s | |
18s | |
17s | |
22s | |
19s | |
27s | |
22s | |
19s | |
32s | |
21s | |
22s | |
26s | |
20s | |
18s | |
15s | |
37s | |
7m 59s |