Provided by: spark_2012.0.deb-11_amd64 
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 (zombiescope 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, 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 zombiescope(1)