fpt and WinFPT Reference Manual - Command-line Commands

| SimCon Home | Ref Manual Home |

MAXIMUM COVERAGE COUNT

Syntax:

MAXIMUM COVERAGE COUNT [:] <integer>

Function:

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.

c_fpt_coverage_table(173)=c_fpt_coverage_table(173)+1

If,for example, MAXIMUM_COVERAGE_COUNT : 10000 is specified, the statements generated are of the form, e.g.

c_fpt_coverage_count(173)=min(c_fpt_coverage_count(173)+1,10000)

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

Default

The coverage count is not limited by default (Note that defaults may be changed in the configuration file).

See Also

INSERT COVERAGE MONITOR

Copyright ©1995 to 2022 Software Validation Ltd. All rights reserved.