An interesting read, but there's an error: > Unfortunately, the top tiers of [SPARK] analyses are paid only, but you can get data/information flow analyses, as

An interesting read, but there's an error: > Unfortunately, the top tiers of [SPARK] analyses are paid only, but you can get data/information flow analyses, as well as guarantee of no runtime errors for free. That's not right. Straight from AdaCore's Yannick Moy, a year ago: [0] > SPARK as included in GNAT Community allows you to go up to platinum level, with the 3 provers included (Alt-Ergo, CVC4 and Z3) [0] https://old.reddit.com/r/ada/comments/hwgbwa/survey_on_the_future_of_gnat_community/g1z6s5z/?context=99 https://old.reddit.com/r/ada/comments/hwgbwa/survey_on_the_f...