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]


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)



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