Fun missing check in SPARK

stedolan / counterexamples

Counterexamples in Type Systems

http://counterexamples.org

372 stars 23 forks source link

Open touisteur opened 3 years ago

touisteur commented 3 years ago

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!

stedolan commented 3 years ago

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