syzygy wdl probing

[robertnurnberg]

It seems to me that get_wdl() can return 2 in a 7men position even if only 6men EGTBs are loaded, if there is a winning capture into 6men. An example is 8/8/3k4/R2b4/Q7/4p3/1K6/6n1 w - -.

To me it seems that the same does not happen for an 8men position that captures into 7men, if full 7men EGTBs are loaded.

Is that correct? Also, is that a design decision or a quirk of the current implementation? @niklasf

[niklasf]

That's a quirk of the implementation. Fixed via a41c3c8.

[robertnurnberg]

Thanks. I understand that the commit means that now also 8men positions are being checked for having winning captures into 7men EGTBs (if they are loaded). Correct?

[niklasf]

Correct.