diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-11-01 17:10:06 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-11-01 17:10:06 -0700 |
| commit | 1dfa4c95993db26ccac7de2e99f6a5699a193929 (patch) | |
| tree | ceb849ade473d8d6425ecf09fa43c680e0729f8f | |
| parent | bfb59dac1491e901b2181c9a2db8d183d61c06e7 (diff) | |
do 10 runs in benchmarks
| -rw-r--r-- | tests/runner.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/runner.py b/tests/runner.py index cd87d3d3..c33f7565 100644 --- a/tests/runner.py +++ b/tests/runner.py @@ -4236,7 +4236,7 @@ else: Settings.TOTAL_MEMORY = 100*1024*1024 # XXX Needed for dlmalloc. TODO: Test other values Settings.FAST_MEMORY = 10*1024*1024 - TEST_REPS = 4 + TEST_REPS = 10 TOTAL_TESTS = 6 tests_done = 0 |