'\" -*- coding: us-ascii -*-
.if \n(.g .ds T< \\FC
.if \n(.g .ds T> \\F[\n[.fam]]
.de URL
\\$2 \(la\\$1\(ra\\$3
..
.if \n(.g .mso www.tmac
.TH zombiescope 1 "22 March 2011" "" ""
.SH NAME
zombiescope \- simplifies SPARK dead path conjectures
.SH SYNOPSIS
'nh
.fi
.ad l
\fBzombiescope\fR \kx
.if (\nx>(\n(.l/2)) .nr x (\n(.l/5)
'in \n(.iu+\nxu
[OPTIONS] [UNIT]
'in \n(.iu-\nxu
.ad b
'hy
.SH DESCRIPTION
ZombieScope for SPARK, \fBzombiescope\fR, analyses
dead path conjectures generated by the Examiner for SPARK and
attempts to determine their liveness automatically. For
each \*(T<dpc\*(T> file read, ZombieScope will produce
a \*(T<sdp\*(T> (simplified dead paths) file and an
optional \*(T<zlg\*(T> (zombiescope log) file.
.PP
This manual page only summarises
the \fBzombiescope\fR command-line flags, please
refer to the full Simplifier manual for further information.
.SH 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.
.TP 
\*(T<\fB\-help\fR\*(T>
Displays command line help.
.TP 
\*(T<\fB\-version\fR\*(T>
Displays version information.
.TP 
\*(T<\fB\-nolog\fR\*(T>
Do not generate a ZombieScope log file.
.TP 
\*(T<\fB\-log=\fR\*(T>\fIfile_spec\fR
Specify filename for the ZombieScope file.
.TP 
\*(T<\fB\-nowrap\fR\*(T>
Do not line wrap output files.
.TP 
\*(T<\fB\-plain\fR\*(T>
Adopt a plain output style (e.g. no dates or version
numbers).
.TP 
\*(T<\fB\-norenum\fR\*(T>
Do not renumber hypotheses and conclusions
in \*(T<sdp\*(T> files.
.TP 
\*(T<\fB\-hyp_limit=\fR\*(T>\fILIMIT\fR
Specify the maximum number of hypotheses that will be
analysed.
.SH "SEE ALSO"
spark(1),
sparksimp(1),
spadesimp(1),
victor(1),
pogs(1)
.PP
sparkformat(1), sparkmake(1)
.SH AUTHOR
This manual page was written by Florian Schanda
<\*(T<florian.schanda@altran\-praxis.com\*(T>> for the
\fIDebian GNU/Linux\fR 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.