Merge pull request #13284 from ncteisen/faster-microbenchmarks

Cut down microbenchmark time
pull/13167/merge
Noah Eisen 7 years ago committed by GitHub
commit 4cd04b3cd0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      tools/profiling/microbenchmarks/bm_diff/bm_main.py

@ -78,7 +78,7 @@ def _args():
'-l', '-l',
'--loops', '--loops',
type=int, type=int,
default=20, default=10,
help='Number of times to loops the benchmarks. More loops cuts down on noise' help='Number of times to loops the benchmarks. More loops cuts down on noise'
) )
argp.add_argument( argp.add_argument(

Loading…
Cancel
Save