Move coverage-increasing void out of define-values.
#319
| Job | Run time |
|---|---|
| 15m 56s | |
| 14m 4s | |
| 30m 0s |
void out of define-values.
#319
| Job | Run time |
|---|---|
| 15m 56s | |
| 14m 4s | |
| 30m 0s |