This test suite verifies the use of the Coverage option VCAST_MAX_COVERED_SUBPROGRAMS correctly limits the number of subprograms that can be encountered during execution in an ADA Cover Environment.
For use only with Ada sources in a Cover environment. The following option is set: