Este é o verificador de comando que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
verificador - SPARK Proof Checker
SINOPSE
verificador [OPÇÕES] [ARQUIVO]
DESCRIÇÃO
O SPARK Proof Checker pode ser usado para verificar as condições de descarga produzidas pelo
Examiner (* .vcg), possivelmente simplificado pelo Simplificador (* .siv). Este comando é geralmente
usado quando as condições de verificação não podem ser descarregadas automaticamente pelo Simplificador.
Por padrão verificador é executado no modo interativo. Ele aceita comandos do usuário e escreve
em um arquivo cmd (ou outro arquivo especificado por -command_log opção). Este arquivo pode ser
usado mais tarde para correr verificador em modo batch (usando a opção -executar) Além disso, prova de registro
é gravado em um arquivo plg.
OPÇÕES
Um resumo das opções está incluído abaixo. Todas as opções podem ser abreviadas para as mais curtas
prefixo único.
-Socorro Mostra o resumo das opções.
-versão
Exibir informações da versão.
-avião Adote um estilo de saída simples (por exemplo, sem datas ou números de versão).
-overwrite_warning
A confirmação é necessária para substituir o comando ou arquivos de log de prova.
-command_log =ARQUIVO DE LOG
Especifique o nome do arquivo para o arquivo de log de comando.
-proof_log =PLG_FILE
Especifique o nome do arquivo para o arquivo de log de prova.
-execute =ARQUIVO DE LOG
Execute um arquivo de log de comando gerado anteriormente.
-currículo
Retome uma sessão salva anteriormente.
Use verificador online usando serviços onworks.net
