counterexamples icon indicating copy to clipboard operation
counterexamples copied to clipboard

Published 20 hours ago • verified publisher icon stedolan

Fun missing check in SPARK

Open touisteur opened this issue 3 years ago • 1 comments

Hi, I'm not sure it's in the spirit of the (great) book but I thought you might like https://blog.adacore.com/the-most-obscure-arithmetic-run-time-error-contest

Thanks for sharing the book for free!

touisteur avatar May 14 '21 20:05 touisteur

Thanks, that looks interesting! (Mistakes around floating point edge cases are common enough, that's definitely worth including)

stedolan avatar May 14 '21 20:05 stedolan