FPT and WinFPT Reference Manual - Command-line Commands

| SimCon Home | Reference Manual Home |


MAXIMUM COVERAGE COUNT

Syntax:

MAXIMUM COVERAGE COUNT [:] <integer>

NO MAXIMUM COVERAGE COUNT

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 2014 Software Validation Ltd. All rights reserved.