EnglishFrenchSpanish

OnWorks favicon

cpbm - Online in the Cloud

Run cpbm in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command cpbm that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

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

Use cpbm online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    PostInstallerF
    PostInstallerF
    PostInstallerF will install all the
    software that Fedora Linux and others
    doesn't include by default, after
    running Fedora for the first time. Its
    easy for...
    Download PostInstallerF
  • 2
    strace
    strace
    The strace project has been moved to
    https://strace.io. strace is a
    diagnostic, debugging and instructional
    userspace tracer for Linux. It is used
    to monitor a...
    Download strace
  • 3
    gMKVExtractGUI
    gMKVExtractGUI
    A GUI for mkvextract utility (part of
    MKVToolNix) which incorporates most (if
    not all) functionality of mkvextract and
    mkvinfo utilities. Written in C#NET 4.0,...
    Download gMKVExtractGUI
  • 4
    JasperReports Library
    JasperReports Library
    JasperReports Library is the
    world's most popular open source
    business intelligence and reporting
    engine. It is entirely written in Java
    and it is able to ...
    Download JasperReports Library
  • 5
    Frappe Books
    Frappe Books
    Frappe Books is a free and open source
    desktop book-keeping software that's
    simple and well-designed to be used by
    small businesses and freelancers. It'...
    Download Frappe Books
  • 6
    Numerical Python
    Numerical Python
    NEWS: NumPy 1.11.2 is the last release
    that will be made on sourceforge. Wheels
    for Windows, Mac, and Linux as well as
    archived source distributions can be fou...
    Download Numerical Python
  • More »

Linux commands

Ad