kate/BadFish
1
0
Fork 0
mirror of https://github.com/sockspls/badfish synced 2025-04-30 00:33:09 +00:00
Code Issues Releases Wiki Activity

DEBUG: Instrument with Gary's test code

Browse source 
To verify that the end position from the PV matches the
evaluation score after these changes

We need to temporarily disable the qsearch tt-value refinement,
as that will change the score returned.
This commit is contained in:
Marco Costalba 2014-11-17 18:02:44 +01:00
parent 792ae2c5a6
commit 802ff4b379
1 changed files with 32 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

36
src/search.cpp
View file

@ -110,6 +110,31 @@ namespace {
Move best; Move best;
}; };
void check_eval(const RootMove& rm, Position& pos) {
if (rm.score == 0)
return;
std::string foo = pos.fen();
StateInfo state[MAX_PLY+6], *st = state;
int idx = 0;
for (; idx < int(rm.pv.size()); ++idx) {
pos.do_move(rm.pv[idx], *st++);
}
if (abs(rm.score) != abs(evaluate(pos))) {
for (int j = 0; j < int(rm.pv.size()); ++j)
std::cout << " " << UCI::format_move(rm.pv[j], false);
std::cout << std::endl << foo << std::endl << pos.fen();
std::cout << std::endl << "Eval mismatch: " << rm.score << " " << evaluate(pos) << std::endl;
exit(1);
}
else
std::cerr << "Success!!: " << rm.score << " " << evaluate(pos) << std::endl;
while (idx) pos.undo_move(rm.pv[--idx]);
}
} // namespace } // namespace
@ -344,6 +369,9 @@ namespace {
else if ( PVIdx + 1 == std::min(multiPV, RootMoves.size()) else if ( PVIdx + 1 == std::min(multiPV, RootMoves.size())
|| Time::now() - SearchTime > 3000) || Time::now() - SearchTime > 3000)
sync_cout << uci_pv(pos, depth, alpha, beta) << sync_endl; sync_cout << uci_pv(pos, depth, alpha, beta) << sync_endl;
if (!Signals.stop)
check_eval(RootMoves[0], RootPos);
} }
// If skill levels are enabled and time is up, pick a sub-optimal best move // If skill levels are enabled and time is up, pick a sub-optimal best move
@ -1082,10 +1110,10 @@ moves_loop: // When in check and at SpNode search starts from here
if ((ss->staticEval = bestValue = tte->eval_value()) == VALUE_NONE) if ((ss->staticEval = bestValue = tte->eval_value()) == VALUE_NONE)
ss->staticEval = bestValue = evaluate(pos); ss->staticEval = bestValue = evaluate(pos);
// Can ttValue be used as a better position evaluation? // // Can ttValue be used as a better position evaluation?
if (ttValue != VALUE_NONE) // if (ttValue != VALUE_NONE)
if (tte->bound() & (ttValue > bestValue ? BOUND_LOWER : BOUND_UPPER)) // if (tte->bound() & (ttValue > bestValue ? BOUND_LOWER : BOUND_UPPER))
bestValue = ttValue; // bestValue = ttValue;
} }
else else
ss->staticEval = bestValue = ss->staticEval = bestValue =