Fix bug where choice() didn't consume params on successful matching #49
Job | Run time |
---|---|
18s | |
17s | |
17s | |
22s | |
23s | |
16s | |
22s | |
20s | |
18s | |
18s | |
17s | |
18s | |
18s | |
17s | |
20s | |
22s | |
15s | |
19s | |
18s | |
16s | |
17s | |
37s | |
27s | |
7m 32s |
Job | Run time |
---|---|
18s | |
17s | |
17s | |
22s | |
23s | |
16s | |
22s | |
20s | |
18s | |
18s | |
17s | |
18s | |
18s | |
17s | |
20s | |
22s | |
15s | |
19s | |
18s | |
16s | |
17s | |
37s | |
27s | |
7m 32s |