Re: Processing array subsections, a newbie question.

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Tue, 15 Jun 2010 13:27:06 +0200, Peter C. Chapin <pcc482719@gmail.com>  
a écrit:
>> It's described in Section 3.1.5 of the Examiner User Manual (the
>> section on command qualifiers) but is not mentioned in the section on
>> reserved words (5.3, where you would really expect to find it).
>
> That's cool. Good to know!
>
> Peter
If you use it, just be careful that names in VC and simplified VC files  
will be changed (just wanted to noticed so you will not feel lost).


-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.