cpbm

cpbm sub-command [options] ...

This manual page documents briefly the cpbm command.

cpbm provides access to a collection of scripts and tools to benchmark software analysis tools.

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

The programs are documented fully by /usr/share/doc/bmt/README.gz

cpbm was written by Michael Tautschnig <michael.tautschnig@comlab.ox.ac.uk>.

This manual page was written by Michael Tautschnig <mt@debian.org>, for the Debian project (and may be used by others).