6 ms·No, it isn't. I think you're confusing contracts (added in Ada 2012) with the entirety of SPARK.by peppermint_gum 3y agoNo, it isn't. I think you're confusing contracts (added in Ada 2012) with the entirety of SPARK.