This is the command pogs that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
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.
Use pogs online using onworks.net services
