Este es el verificador de comandos que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
corrector - Comprobador de prueba de chispas
SINOPSIS
inspector [OPCIONES] [ARCHIVO]
DESCRIPCIÓN
SPARK Proof Checker se puede utilizar para descargar las condiciones de verificación producidas por el
Examiner (* .vcg), posiblemente simplificado por el Simplifier (* .siv). Este comando suele ser
se utiliza cuando las condiciones de verificación no pueden ser descargadas automáticamente por el Simplificador.
Por defecto inspector se ejecuta en modo interactivo. Acepta comandos del usuario y escribe
en un archivo cmd (u otro archivo especificado por -command_log opción). Este archivo puede ser
usado más tarde para correr inspector en modo por lotes (usando la opción -ejecutar). Además, registro de pruebas
se escribe en un archivo plg.
OPCIONES
Un resumen de las opciones se incluye a continuación. Todas las opciones se pueden abreviar a la más corta
prefijo único.
-ayuda Mostrar resumen de opciones.
-versión
Muestra información sobre la versión.
-llanura Adopte un estilo de salida simple (por ejemplo, sin fechas ni números de versión).
-overwrite_warning
Se necesita confirmación para sobrescribir los archivos de registro de comandos o pruebas.
-command_log =ARCHIVO DE REGISTRO
Especifique el nombre de archivo para el archivo de registro de comandos.
-proof_log =PLG_FILE
Especifique el nombre de archivo para el archivo de registro de prueba.
-execute =ARCHIVO DE REGISTRO
Ejecute un archivo de registro de comandos generado previamente.
-currículum
Reanudar una sesión previamente guardada.
Use el verificador en línea usando los servicios de onworks.net
