cpbm1
A software analysis toolkit (originally: cprover benchmarking framework)
Usage
cpbm sub-command
[options] ...
Overview
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