zombiescope1
Simplifies spark dead path conjectures
Usage
zombiescope [OPTIONS]
[UNIT]
Overview
ZombieScope for SPARK, zombiescope, analyses dead path conjectures generated by the Examiner for SPARK and attempts to determine their liveness automatically. For each FCdpcF[0] file read, ZombieScope will produce a FCsdpF[0] (simplified dead paths) file and an optional FCzlgF[0] (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.
FC
|
Displays command line help. |
|---|---|
FC
|
Displays version information. |
FC
|
Do not generate a ZombieScope log file. |
FC
|
Specify filename for the ZombieScope file. |
FC
|
Do not line wrap output files. |
FC
|
Adopt a plain output style (e.g. no dates or version numbers). |
FC
|
Do not renumber hypotheses and conclusions in FCsdpF[0] files. |
FC
|
Specify the maximum number of hypotheses that will be analysed. |
Releases
Unchanged in 3 releases since Debian 7 (Wheezy).