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. |
|---|---|
|
Display the current version. |
|
Print the path where cpbm scripts reside. |
|
Unpack a CPROVER benchmark package. |
|
Update a CPROVER benchmark package. |
|
Create a CPROVER benchmark package. |
|
Run a verification tool on a given benchmark and obtain logs. |
|
Run C sources through Cil. |
|
List all claims in a benchmark. |
|
Produce a CSV table from benchmark runs. |
|
Produce a LaTeX table from CSV. |
|
Produce GNUplot scripts for box and scatter plots. |
|
Generate HTML table and collect log files for web publication |
Releases
Unchanged in 5 releases since Debian 9 (Stretch).