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)