fpt Reference: MAXIMUM COVERAGE COUNT

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).