Il s'agit de la commande zombiescope qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
zombiescope - simplifie les conjectures de chemin mort SPARK
SYNOPSIS
zombiescope [OPTIONS] [UNITÉ]
DESCRIPTION
ZombieScope pour SPARK, zombiescope, analyse les conjectures de chemin mort générées par le
Examinateur pour SPARK et tente de déterminer automatiquement leur vivacité. Pour chaque dpc
fichier lu, ZombieScope produira un fichier sdp (chemins morts simplifiés) et un zlg facultatif
(journal zombie).
Cette page de manuel ne résume que les zombiescope indicateurs de ligne de commande, veuillez vous référer au
manuel complet du Simplificateur pour plus d'informations.
OPTIONS
Ces options ne suivent pas tout à fait la syntaxe habituelle de la ligne de commande GNU car les options commencent par
un seul tiret au lieu des deux habituels.
-Aide Affiche l'aide de la ligne de commande.
-version
Affiche les informations de version.
-nolog Ne générez pas de fichier journal ZombieScope.
-log=spéc_fichier
Spécifiez le nom de fichier du fichier ZombieScope.
-maintenant
Ne pas aligner les fichiers de sortie.
-plaine Adoptez un style de sortie simple (par exemple, pas de dates ou de numéros de version).
-norénum
Ne pas renuméroter les hypothèses et les conclusions dans les fichiers sdp.
-hyp_limit=LIMIT
Précisez le nombre maximum d'hypothèses qui seront analysées.
Utilisez zombiescope en ligne en utilisant les services onworks.net
