chore: reduce threshold in profiler

This help when profiling `sym_n`, because the threshold is applied to each step individually
leanprover · Oct 2, 2024 · df3ab2c · df3ab2c
1 parent 6aca323
commit df3ab2c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Benchmarks/Command.lean b/Benchmarks/Command.lean
@@ -60,6 +60,7 @@ elab "benchmark" id:ident declSig:optDeclSig val:declVal : command => do
 
   if (← getBoolOption `profiler) then
     opts := opts.setBool `trace.profiler true
+    opts := opts.setNat `trace.profiler.threshold 1
     n := 1 -- only run once, if `profiler` is set to true
   else
     opts := opts.setBool `trace.benchmark true