Faster travis checks

in the last month a couple of timeouts have been seen in travis valgrind testing, leading to undesired false positives. The precise cause of this is unclear: a normal valgrind instrumented run is about 6min, the timeout is 10min. Either there are rare hangs (not reproduced locally), or maybe the actual runtime fluctuates on the travis infrastructure (which uses VMs on AWS as far as I know). This patch leads to roughly a 2x speedup of the instrumented testing by reducing the depth from 10 to 9. If timeouts persist, it needs further analysis.

No functional change.

Closes #1171

diff --git a/tests/instrumented.sh b/tests/instrumented.sh
index 878d6cb05739a556445babc7c40a26a93530cc81..7eaa2160c9cd443fb4e4e7cc51614814a2ce6196 100755 (executable)
--- a/tests/instrumented.sh
+++ b/tests/instrumented.sh
@@ -62,7 +62,7 @@ for args in "eval" \
             "go depth 10" \
             "go movetime 1000" \
             "go wtime 8000 btime 8000 winc 500 binc 500" \
-            "bench 128 $threads 10 default depth"
+            "bench 128 $threads 9 default depth"
 do
 
    echo "$prefix $exeprefix ./stockfish $args $postfix"