EnglishFrenchSpanish

Ad


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
    strikr
    strikr
    Strikr Free Software project. Artifacts
    released under a 'intent based'
    dual license: AGPLv3 (community) and
    CC-BY-NC-ND 4.0 international
    (commercial)...
    Download strikr
  • 3
    GIFLIB
    GIFLIB
    giflib is a library for reading and
    writing gif images. It is API and ABI
    compatible with libungif which was in
    wide use while the LZW compression
    algorithm was...
    Download GIFLIB
  • 4
    Alt-F
    Alt-F
    Alt-F provides a free and open source
    alternative firmware for the DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F has Samba and NFS;
    supports ext2/3/4...
    Download Alt-F
  • 5
    usm
    usm
    Usm is a unified slackware package
    manager that handles automatic
    dependency resolution. It unifies
    various package repositories including
    slackware, slacky, p...
    Download usm
  • 6
    Chart.js
    Chart.js
    Chart.js is a Javascript library that
    allows designers and developers to draw
    all kinds of charts using the HTML5
    canvas element. Chart js offers a great
    array ...
    Download Chart.js
  • More »

Linux commands

Ad