[gps-users] Code Coverage check box Under Ada Tab

[Anh Vo]

>>> Arnaud Charlet <charlet at adacore.com> 10/27/2006 12:47 AM >>>
<< Right, that's exactly what it does: setting these compiler flags.
>>

What do I expect to see when running a program compiled with this
option? Source code will be highlighted?

<< You need to refer to the compiler documentation for more details,
since this
is not in GPS court. >>

I did look at the GPS-4.0.1 document before deciding to post the
question. I even look at the GNAT User's Guide for definition of this
switch. In fact, I search for "code coverage", "coverage" on gps.pdf
document. None of these string showed up. Could you tell me what section
it falls under? Thanks.

AV