At this point we have already verified (value > alpha)
and this implies, in case of a non-PV node, where search
window size is zero, that value >= beta.
This is not so self-evident, so document the code with
an assert condition.
No functional change.
alpha = value; // Update alpha here! Always alpha < beta
if (SpNode) sp->alpha = value;
}
alpha = value; // Update alpha here! Always alpha < beta
if (SpNode) sp->alpha = value;
}
+ assert(value >= beta); // Fail high
+
if (SpNode) sp->cutoff = true;
break;
}
if (SpNode) sp->cutoff = true;
break;
}