diff options
Diffstat (limited to 'tools/profiling/microbenchmarks/bm_diff.py')
| -rwxr-xr-x | tools/profiling/microbenchmarks/bm_diff.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/profiling/microbenchmarks/bm_diff.py b/tools/profiling/microbenchmarks/bm_diff.py index 0e20a0e4e5..339e959518 100755 --- a/tools/profiling/microbenchmarks/bm_diff.py +++ b/tools/profiling/microbenchmarks/bm_diff.py @@ -101,7 +101,7 @@ argp.add_argument('-t', '--track', help='Which metrics to track') argp.add_argument('-b', '--benchmarks', nargs='+', choices=_AVAILABLE_BENCHMARK_TESTS, default=['bm_cq']) argp.add_argument('-d', '--diff_base', type=str) -argp.add_argument('-r', '--repetitions', type=int, default=7) +argp.add_argument('-r', '--repetitions', type=int, default=4) argp.add_argument('-p', '--p_threshold', type=float, default=0.05) args = argp.parse_args() |