ESA's Schiaparelli Mars probe crashed because of integer overflow

[Kagamin via Digitalmars-d]

On Friday, 25 November 2016 at 17:06:14 UTC, Patrick Schluter 
wrote:
> This accident also gave Bertrand Meyer (Eiffel) a lot of wind 
> for his sails about design by contract
> https://archive.eiffel.com/doc/manuals/technology/contract/ariane/
> in that context it might be even interesting for the D 
> language, as it is one of the few languages that have (inbuilt) 
> contracts.

The mistake was that hardware was upgraded, but software and 
tests weren't, contracts wouldn't help unless it was spark.