WHile we are on the subject of the shuttle software.

what ever happened to the hypothesis  that the shuttle flight software
was a major factor in the loss of 51-L.  to wit,  that during the
wind shear event,  the Flight control software  indicated a series
of very violent engine movements that shocked and set upa harmonic
resonance  leading to an overstress of the struts.