Bug in timsort!?

[Terry Reedy]

On 2/25/2015 10:23 AM, Zachary Ware wrote:

> Just to be clear, this has already been fixed, and the fix will be
> released in Python 2.7.10, 3.4.4, and 3.5.0.

I think the important effect of the fix is to encourage automatic code 
verification both by the group that found this bug and by and others. 
Future verifier developers can check their code by trying to verify the 
fixed code.

The C half of the CPython code base has been improved by responding to 
issues raised by the Coverity checker.  I hope we can get free code 
reviews both of C and Python code from others.

-- 
Terry Jan Reedy