gcov is a test coverage program: it analyzes the execution of a given
program on selected tests, to help you determine the portions of the program
that are still untested.
gcov is part of the GCC suite, and is described in detail in the GCC
User's Guide. You can refer to this documentation for a more complete
This chapter provides a quick startup guide, and details some Gnat-specific features.