Il s'agit du vérificateur de commandes qui peut être exécuté dans le fournisseur d'hébergement gratuit OnWorks à l'aide de 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
vérificateur - SPARK Proof Checker
SYNOPSIS
vérificateur [OPTIONS] [DOSSIER]
DESCRIPTION
Le SPARK Proof Checker peut être utilisé pour acquitter les conditions de vérification produites par le
Examinateur (*.vcg), éventuellement simplifié par le Simplificateur (*.siv). Cette commande est généralement
utilisé lorsque les conditions de vérification ne peuvent pas être levées automatiquement par le Simplificateur.
Par défaut vérificateur fonctionne en mode interactif. Il accepte les commandes de l'utilisateur et écrit
dans un fichier cmd (ou un autre fichier spécifié par -commande_journal option). Ce fichier peut être
utilisé plus tard pour courir vérificateur en mode batch (en utilisant l'option -exécuter). De plus, le journal de preuve
est écrit dans un fichier plg.
OPTIONS
Un résumé des options est inclus ci-dessous. Toutes les options peuvent être abrégées au plus court
préfixe unique.
-Aide Afficher le résumé des options.
-version
Afficher les informations de version.
-plaine Adoptez un style de sortie simple (par exemple, pas de dates ou de numéros de version).
-overwrite_warning
Confirmation nécessaire pour écraser les fichiers journaux de commande ou de preuve.
-commande_log=FICHIER JOURNAL
Spécifiez le nom de fichier pour le fichier journal des commandes.
-proof_log=PLG_FILE
Spécifiez le nom de fichier du fichier journal d'épreuves.
-executer=FICHIER JOURNAL
Exécutez un fichier journal de commandes généré précédemment.
-CV
Reprendre une session précédemment enregistrée.
Utiliser le vérificateur en ligne à l'aide des services onworks.net
