Re: Is Aunit helpful?

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

> gcov
> (http://gcc.gnu.org/onlinedocs/gcc-4.5.0/gnat_ugn_unw/Code-Coverage-of-Ada-Programs-using-gcov.html#Code-Coverage-of-Ada-Programs-using-gcov)
> will help to tell which bits of code your tests haven't exercised at
> all. And it's free.
You are right. Part of the things I use to know about while still never  
tried (there is also an option in GPS project options dialog).

> For more capable test coverage tools you'll probably have to pay.
I would like I could one day (as well I getting a Janus license, I would  
like to one day)... depends on weither or not some one else would pay for  
stuffs I do (another story).


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