From b839ea6c0c279e5246f586c716702a4ab7152e04 Mon Sep 17 00:00:00 2001 From: Joona Kiiski Date: Fri, 25 Jun 2010 20:49:36 +0300 Subject: [PATCH] Hack to fix GCC/ICC rounding difference Signed-off-by: Marco Costalba --- src/search.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/search.cpp b/src/search.cpp index 4f8401bb..edc4a71a 100644 --- a/src/search.cpp +++ b/src/search.cpp @@ -356,7 +356,7 @@ void init_search() { // Init futility margins array for (d = 0; d < 16; d++) for (mc = 0; mc < 64; mc++) - FutilityMarginsMatrix[d][mc] = 112 * int(log(double(d * d) / 2) / log(2.0) + 1) - 8 * mc + 45; + FutilityMarginsMatrix[d][mc] = 112 * int(log(double(d * d) / 2) / log(2.0) + 1.001) - 8 * mc + 45; // Init futility move count array for (d = 0; d < 32; d++) -- 2.39.2