debian man page for zombiescope

zombiescope(1)															    zombiescope(1)

NAME
       zombiescope - simplifies SPARK dead path conjectures

SYNOPSIS
       zombiescope [OPTIONS] [UNIT]

DESCRIPTION
       ZombieScope  for  SPARK,  zombiescope,  analyses  dead path conjectures generated by the Examiner for SPARK and attempts to determine their
       liveness automatically. For each dpc file read, ZombieScope will produce a sdp (simplified dead paths) file and	an  optional  zlg  (zombi-
       escope log) file.

       This manual page only summarises the zombiescope command-line flags, please refer to the full Simplifier 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.

       -help  Displays command line help.

       -version
	      Displays version information.

       -nolog Do not generate a ZombieScope log file.

       -log=file_spec
	      Specify filename for the ZombieScope file.

       -nowrap
	      Do not line wrap output files.

       -plain Adopt a plain output style (e.g. no dates or version numbers).

       -norenum
	      Do not renumber hypotheses and conclusions in sdp files.

       -hyp_limit=LIMIT
	      Specify the maximum number of hypotheses that will be analysed.

SEE ALSO
       spark(1), sparksimp(1), spadesimp(1), victor(1), pogs(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						    zombiescope(1)