GNU.WIKI: The GNU/Linux Knowledge Base

  [HOME] [PHP Manual] [HowTo] [ABS] [MAN1] [MAN2] [MAN3] [MAN4] [MAN5] [MAN6] [MAN7] [MAN8] [MAN9]

  [0-9] [Aa] [Bb] [Cc] [Dd] [Ee] [Ff] [Gg] [Hh] [Ii] [Jj] [Kk] [Ll] [Mm] [Nn] [Oo] [Pp] [Qq] [Rr] [Ss] [Tt] [Uu] [Vv] [Ww] [Xx] [Yy] [Zz]


       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)

  All copyrights belong to their respective owners. Other content (c) 2014-2018, GNU.WIKI. Please report site errors to
Page load time: 0.202 seconds. Last modified: November 04 2018 12:49:43.