Dies ist der Befehl cpbm, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
cpbm – ein Software-Analyse-Toolkit (ursprünglich: CPROVER Benchmarking Framework)
ZUSAMMENFASSUNG
cpbm Unterbefehl [Optionen] ...
BESCHREIBUNG
Diese Handbuchseite dokumentiert kurz die cpbm Befehl.
cpbm Bietet Zugriff auf eine Sammlung von Skripten und Tools zum Benchmarking von Softwareanalysen
Werkzeuge.
UNTERBEFEHLE
Die folgenden Unterbefehle sind verfügbar; Jeder von ihnen hat seine eigenen Optionen
gezeigt von cpbm Befehl --help.
Hilfe | --help
Zeigt den cpbm-Hilfetext an.
--Version
Zeigt die aktuelle Version an.
home Geben Sie den Pfad aus, in dem sich CPBM-Skripte befinden.
auspacken Entpacken Sie ein CPROVER-Benchmark-Paket.
Aktualisierung Aktualisieren Sie ein CPROVER-Benchmark-Paket.
init Erstellen Sie ein CPROVER-Benchmark-Paket.
Lauf Führen Sie ein Verifizierungstool für einen bestimmten Benchmark aus und rufen Sie Protokolle ab.
zillifizieren
Führen Sie C-Quellen über Cil aus.
Listenansprüche
Listen Sie alle Ansprüche in einem Benchmark auf.
csv Erstellen Sie eine CSV-Tabelle aus Benchmark-Läufen.
Tabelle Erstellen Sie eine LaTeX-Tabelle aus CSV.
Graph Erstellen Sie GNUplot-Skripte für Box- und Streudiagramme.
Netz Generieren Sie eine HTML-Tabelle und sammeln Sie Protokolldateien für die Webveröffentlichung
Nutzen Sie cpbm online über die Dienste von onworks.net
