fpt and WinFPT Reference Manual - Command-line Commands
| SimCon Home | Ref Manual Home |
The command CHECK written without arguments is equivalent to the combination of the commands:
The CHECK command is conveniently used to carry out a QA analysis of a suite of software. Please note that it is the responsibility of the user to set up default values for the filters which control the sensitivity of these checks, using commands such as NAME CHECK TO IGNORE LOCALS and ARGUMENT CHECK TO IGNORE ARRAY BOUNDS. These are most conveniently set up in the configuration file, config.fsp, or in the fsp file which lists the files to be processed.
The command NO CHECK suppresses all of these checks. It is most often used to prevent the check requested in fsp files from starting when fpt is run interactively. The checks may be run interactively one at a time.
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 checks are not carried out by default (Note that defaults may be changed in the configuration file).
Carrying out a QA analysis (Windows)
D:\Dave\Test> fpt heli.fsp /check
Suppressing checks requested in the FSP file when running interactively (Unix)
$ fpt heli.fsp "%no check" %i
ARGUMENT CHECK TO
EQUIVALENCE CHECK TO
NAME CHECK TO
Copyright ©1995 to 2023 Software Validation Ltd. All rights reserved.