Re: [creduce-dev] Commit 0321479871d9 (remove early run of remote-unused-function) also disables auto-parallelization

[John Regehr]

The following commit also disabled auto-parallelization and enabled
verbose reporting (see first two hunks).
Was that intentional?

Nope, sorry, just backed this out.

John