This is the command cpbm that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
cpbm - a software analysis toolkit (originally: CPROVER benchmarking framework)
SYNOPSIS
cpbm sub-command [options] ...
DESCRIPTION
This manual page documents briefly the cpbm command.
cpbm provides access to a collection of scripts and tools to benchmark software analysis
tools.
SUB-COMMANDS
The following sub-commands are available; each of them has its own set of options that are
shown by cpbm command --help.
help | --help
Display the cpbm help text.
--version
Display the current version.
home Print the path where cpbm scripts reside.
unpack Unpack a CPROVER benchmark package.
update Update a CPROVER benchmark package.
init Create a CPROVER benchmark package.
run Run a verification tool on a given benchmark and obtain logs.
cillify
Run C sources through Cil.
list-claims
List all claims in a benchmark.
csv Produce a CSV table from benchmark runs.
table Produce a LaTeX table from CSV.
graph Produce GNUplot scripts for box and scatter plots.
web Generate HTML table and collect log files for web publication
Use cpbm online using onworks.net services
