Questo è il controllo dei comandi che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre numerose workstation online gratuite come Ubuntu Online, Fedora Online, l'emulatore online di Windows o l'emulatore online di MAC OS
PROGRAMMA:
NOME
verificatore - SPARK Proof Checker
SINOSSI
checker [OPZIONI] [RISORSE]
DESCRIZIONE
SPARK Proof Checker può essere utilizzato per scaricare le condizioni di verifica prodotte dal
Examiner (*.vcg), eventualmente semplificato dal Simplifier (*.siv). Questo comando è solitamente
utilizzato quando le condizioni di verifica non possono essere soddisfatte automaticamente dal Semplificatore.
Di default checker viene eseguito in modalità interattiva. Accetta comandi dall'utente e scrive
in un file cmd (o altro file specificato da -comando_log opzione). Questo file può essere
utilizzato in seguito per correre checker in modalità batch (utilizzando l'opzione -eseguire). Inoltre, registro di prova
è scritto in un file plg.
VERSIONI
Di seguito è riportato un riepilogo delle opzioni. Tutte le opzioni possono essere abbreviate nel modo più breve.
prefisso univoco.
-Aiuto Mostra il riepilogo delle opzioni.
-versione
Visualizza le informazioni sulla versione.
-semplice Adotta uno stile di output semplice (ad es. senza date o numeri di versione).
-sovrascrittura_avviso
Conferma necessaria per sovrascrivere i file di registro dei comandi o di prova.
-command_log=FILE_LOG
Specificare il nome del file per il file di registro dei comandi.
-proof_log=PLG_FILE
Specificare il nome del file per il file di registro di prova.
-eseguire=FILE_LOG
Eseguire un file di registro dei comandi generato in precedenza.
-curriculum vitae
Riprendi una sessione salvata in precedenza.
Utilizzare il controllo online utilizzando i servizi onworks.net
