Skip to content

Commit

Permalink
disable herbie parallelism by default
Browse files Browse the repository at this point in the history
  • Loading branch information
sbrantq committed Nov 8, 2024
1 parent c67f13d commit 91456e2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion enzyme/Enzyme/Herbie.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -83,7 +83,7 @@ static cl::opt<bool> FPOptEnableHerbie(
static cl::opt<bool> FPOptEnablePT(
"fpopt-enable-pt", cl::init(false), cl::Hidden,
cl::desc("Consider precision changes of floating-point expressions"));
static cl::opt<int> HerbieNumThreads("herbie-num-threads", cl::init(16),
static cl::opt<int> HerbieNumThreads("herbie-num-threads", cl::init(1),
cl::Hidden,
cl::desc("Number of threads Herbie uses"));
static cl::opt<int> HerbieTimeout("herbie-timeout", cl::init(120), cl::Hidden,
Expand Down

0 comments on commit 91456e2

Please sign in to comment.