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 over‐
              ride 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, Version 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)