Provided by: spark_2012.0.deb-11build1_amd64 bug


       zombiescope - simplifies SPARK dead path conjectures


       zombiescope [OPTIONS] [UNIT]


       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.


       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.

              Displays version information.

       -nolog Do not generate a ZombieScope log file.

              Specify filename for the ZombieScope file.

              Do not line wrap output files.

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

              Do not renumber hypotheses and conclusions in sdp files.

              Specify the maximum number of hypotheses that will be analysed.


       spark(1), sparksimp(1), spadesimp(1), victor(1), pogs(1)

       sparkformat(1), sparkmake(1)


       This manual page was written by Florian  Schanda  <>  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)