EnglishFrenchSpanish

OnWorks favicon

sparksimp - Online in the Cloud

Run sparksimp in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command sparksimp 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


sparksimp - analyses all generated SPARK proof artifacts (in parallel)

SYNOPSIS


sparksimp [OPTIONS] [-sargs SIMPLIFIER_OPTIONS] [-zargs ZOMBIESCOPE_OPTIONS] [-vargs
VICTOR_OPTIONS]

DESCRIPTION


sparksimp, analyses all verification conditions and dead path conjectures generated by the
Examiner for SPARK and attempts to discharge them using the Simplifier, ZombieScope and
ViCToR. If requested, this can be done in parallel.

This manual page only summarises the sparksimp command-line flags, please refer to the
full SPARKSimp 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.

-a Processes all files, even if their time-stamp indicated that they have been
previously analysed.

-v Displays version information.

-V Verbose output.

-n Dry run — this prints only the list of files to analyse and then stops.

-ns Do not run the Simplifier.

-nz Do not run ZombieScope.

-victor
Run ViCToR/Alt-Ergo on VCs left unproven by Simplifier. If -ns is specified then
this will run ViCToR on all VCs.

-t, -r Sort vcg file by size and analyse the largest ones first. If -r is specified as
well analyse the smallest ones first.

-l Log spadesimp and zombiescope output for each unit analysed to UNIT.log and
UNIT.zsl respectively.

-e Echo all output to the screen; this option cannot be used in conjunction with -p.

-p=N Use N concurrent processes.

-x=PATH
Specifies an alternative Simplifier executable.

-z=PATH
Specifies an alternative ZombieScope executable.

-sargs OPTIONS, -zargs OPTIONS, -vargs OPTIONS
Any options following one of these will be passed to directly to the Simplifier,
ZombieScope or ViCToR respectively. Please see their manual pages or documentation
for more information.

Use sparksimp online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Image Downloader
    Image Downloader
    Crawl and download images using
    Selenium Using python3 and PyQt5.
    Supported Search Engine: Google, Bing,
    Baidu. Keywords input from the keyboard
    or input from ...
    Download Image Downloader
  • 2
    Eclipse Tomcat Plugin
    Eclipse Tomcat Plugin
    The Eclipse Tomcat Plugin provides
    simple integration of a tomcat servlet
    container for the development of java
    web applications. You can join us for
    discussio...
    Download Eclipse Tomcat Plugin
  • 3
    WebTorrent Desktop
    WebTorrent Desktop
    WebTorrent Desktop is for streaming
    torrents on Mac, Windows or Linux. It
    connects to both BitTorrent and
    WebTorrent peers. Now there's no
    need to wait for...
    Download WebTorrent Desktop
  • 4
    GenX
    GenX
    GenX is a scientific program to refine
    x-ray refelcetivity, neutron
    reflectivity and surface x-ray
    diffraction data using the differential
    evolution algorithm....
    Download GenX
  • 5
    pspp4windows
    pspp4windows
    PSPP is a program for statistical
    analysis of sampled data. It is a free
    replacement for the proprietary program
    SPSS. PSPP has both text-based and
    graphical us...
    Download pspp4windows
  • 6
    Git Extensions
    Git Extensions
    Git Extensions is a standalone UI tool
    for managing Git repositories. It also
    integrates with Windows Explorer and
    Microsoft Visual Studio
    (2015/2017/2019). Th...
    Download Git Extensions
  • More »

Linux commands

Ad