Provided by: bmt_0.6-1.1_all bug

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

SEE ALSO

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

AUTHOR

       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).

                                          March 13, 2011                                  CPBM(1)