Prev: Ann: AdaControl 1.12r4 (GPL2010) released
Next: Passing Ada Proc as a C Function Pointer
From: Yannick Duchêne (Hibou57) on 13 Aug 2010 16:59
> 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.
First  |  Prev  | 
Pages: 1 2 3 4 5 6
Prev: Ann: AdaControl 1.12r4 (GPL2010) released
Next: Passing Ada Proc as a C Function Pointer