[Spark2014-discuss] SPARK 2014 profiles/policies
charlet at adacore.com
Tue Mar 12 17:53:05 CET 2013
> My initial reaction is that you would be better to check rules concerning
> readability of the code with GNAT check, but would like someone from AdaCore
> to confirm this, please.
Right, readability rules are indeed better left to a coding standard checking
tool such as gnatcheck, while the SPARK language/RM will likely add a
few extra Ada Restrictions available for "compiler" checks.
More information about the Spark2014-discuss