Re: AUnit Examples Fail

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

Le Sun, 15 Aug 2010 14:00:28 +0200, Simon Wright <simon@pushface.org> a  
écrit:
> I'd have thought you needed to just delete them?
I wanted to change the less as possible, to be safe

> I don't know what -gnatw.Xe means, gnatmake -h says "turn off warnings
> for non-local exception"!
Me neither. I just know -gnatwa and -gnatwe. By the way I was wrong in the  
previous post, as I wrote -gnatwe and -gnatw instead of -gnatwae and  
-gnatwa (forget the "a"). It seems you can add multiple flags in the same  
place, like -gnatwae do: it has both the "All" and "as Error" flag. There  
is also an .X and an .x for warnings about non-local exceptions. Just  
guess the "e" appended to it means "as Error" as well.



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