Este es el comando cpbm 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
cpbm: un conjunto de herramientas de análisis de software (originalmente: marco de evaluación comparativa CPROVER)
SINOPSIS
cpbm subcomando [opciones] ...
DESCRIPCIÓN
Esta página de manual documenta brevemente la cpbm mando.
cpbm proporciona acceso a una colección de scripts y herramientas para comparar el análisis de software
herramientas.
SUBCOMANDOS
Están disponibles los siguientes subcomandos; cada uno de ellos tiene su propio conjunto de opciones que son
mostrado por cpbm comando --ayuda.
ayuda | --ayuda
Muestra el texto de ayuda de cpbm.
--versión
Muestra la versión actual.
inicio Imprima la ruta donde residen los scripts cpbm.
deshacer Desempaquete un paquete de pruebas de CPROVER.
actualización Actualice un paquete de pruebas de CPROVER.
init Cree un paquete de referencia CPROVER.
run Ejecute una herramienta de verificación en un punto de referencia determinado y obtenga registros.
aclarar
Ejecute fuentes C a través de Cil.
lista-reclamaciones
Enumere todas las afirmaciones en un punto de referencia.
csv Genere una tabla CSV a partir de ejecuciones comparativas.
mesa Produzca una tabla LaTeX a partir de CSV.
gráfica Produzca scripts GNUplot para diagramas de caja y de dispersión.
web Genere una tabla HTML y recopile archivos de registro para su publicación en la web
Utilice cpbm en línea utilizando los servicios de onworks.net