================
@@ -903,6 +908,7 @@ int main(int argc, char **argv) {
bool Success = true;
if (Verify) {
+ parallel::strategy = hardware_concurrency(VerifyNumThreads);
----------------
clayborg wrote:
Where is this used?
https://github.com/llvm/llvm-project/pull/127281