Provided by: bmt_0.6-1_all
cpbm - a software analysis toolkit (originally: CPROVER benchmarking framework)
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 <email@example.com>. This manual page was written by Michael Tautschnig <firstname.lastname@example.org>, for the Debian project (and may be used by others). March 13, 2011 CPBM(1)