fpt and WinFPT Reference Manual - Command-line Commands
| SimCon Home | Ref Manual Home |
MAXIMUM COVERAGE COUNT
MAXIMUM COVERAGE COUNT [:] <integer>
The command INSERT COVERAGE MONITOR instructs fpt to insert statements in the code to count the number of times each non-branching code sequence is executed. In long runs on fast machines, the 4-byte integers used to store this data could overflow. The command MAXIMUM COVERAGE COUNT sets a limit to the count value and therefore prevents overflow. If NO MAXIMUM COVERAGE COUNT is specified, or is allowed to remain as the default, the statements inserted are of the form, e.g.
If,for example, MAXIMUM_COVERAGE_COUNT : 10000 is specified, the statements generated are of the form, e.g.
Where to Use this Command
|Operating system command line||Yes|
|Configuration file, config.fsp||Yes|
|Specification (fsp) files, *.fsp||Yes|
|Interactively, to FPT> prompt||Yes|
|Interactive command files||Yes|
|Embedded in the Fortran code||Yes|
The coverage count is not limited by default (Note that defaults may be changed in the configuration file).
INSERT COVERAGE MONITOR
Copyright ©1995 to 2023 Software Validation Ltd. All rights reserved.