cpbm - a software analysis toolkit (originally: CPROVER benchmarking framework)

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)

Description

       This manual page documents briefly the cpbm command.

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

Name

       cpbm - a software analysis toolkit (originally: CPROVER benchmarking framework)

Sub-Commands

       The  following sub-commands are available; each of them has its own set of options that are shown by cpbmcommand--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