Change CLI to employ multithreading by default#4211

Merged

daniellerozenblit merged 2 commits intofacebook:devfrom

daniellerozenblit:mt-cli

Dec 12, 2024

Commits on Dec 10, 2024

Change CLI to employ multithreading by default
daniellerozenblit
committed

Commits on Dec 12, 2024

Document changes to benchmarking, print number of threads for display level >= 4, and add lower bound of 1 for the default number of threads
daniellerozenblit
committed