pogs(1) 																   pogs(1)

NAME

       pogs - summarises completed and outstanding proof obligations

SYNOPSIS

       pogs [OPTIONS]

DESCRIPTION

       POGS  will  recursively traverse the current directory and all subdirectories and summariese all proof obligations (found in vcg files) and
       status (effectively undischarged, discharged or false).

       This manual page only summarises the pogs command-line flags, please refer to the full POGS manual for further information.

OPTIONS

       These options do not quite follow the usual GNU command line syntax as options start with a single dash instead of the usual two.

       -h     Displays command line help.

       -d=INPUT_DIRECTORY
	      Instead of searching the current directory and all its subdirectories, begin the search in the given directory.

       -i     Prevents checking of the date and time stamps of all analysed files.

       -o=OUTPUT_FILE
	      By default the output file is named after the directory analysed. This option can be used to override this default.

       -p     Prevents SPARK release information and file paths being output to the sum file.

       -s     Prevents the per-subprogram analysis section (which contains summary information for each VC and DPC) being output to the sum file.

       -x     Outputs summary information in XML format. Incompatible with -s. This option is DEPRECATED and WILL BE REMOVED in the next release.

       -v     Displays version information.

SEE ALSO

       spark(1), sparksimp(1), spadesimp(1), zombiescope(1), victor(1)

       sparkformat(1), sparkmake(1)

AUTHOR

       This manual page was written by Florian Schanda <florian.schanda@altran-praxis.com> for the Debian GNU/Linux system (but  may  be  used	by
       others).  Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Ver-
       sion 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover
       Texts.

								   22 March 2011							   pogs(1)