[Spark2014-discuss] SPARK 2014 profiles/policies

Arnaud Charlet 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.

Arno


More information about the Spark2014-discuss mailing list