This is the command zombiescope that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
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.
Use zombiescope online using onworks.net services
