VALUE_MATE 399 src/search_full.cpp value = VALUE_MATE(height+2); // does not work if the current position is mate VALUE_MATE 400 src/search_full.cpp if (value > alpha && board_is_mate(board)) value = VALUE_MATE(height); VALUE_MATE 409 src/search_full.cpp value = -VALUE_MATE(height+1); VALUE_MATE 657 src/search_full.cpp return VALUE_MATE(height); VALUE_MATE 831 src/search_full.cpp value = VALUE_MATE(height+2); // does not work if the current position is mate VALUE_MATE 832 src/search_full.cpp if (value > alpha && board_is_mate(board)) value = VALUE_MATE(height); VALUE_MATE 841 src/search_full.cpp value = -VALUE_MATE(height+1); VALUE_MATE 956 src/search_full.cpp return VALUE_MATE(height);