これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド cpbm です。
プログラム：
NAME
cpbm - ソフトウェア分析ツールキット (当初: CPROVER ベンチマーク フレームワーク)
SYNOPSIS
CPBM サブコマンド [オプション] ...
DESCRIPTION
このマニュアルページでは、 CPBM
CPBM ソフトウェア分析のベンチマークを行うためのスクリプトとツールのコレクションへのアクセスを提供します
ツール。
サブコマンド
次のサブコマンドが利用可能です。 それぞれに独自のオプションのセットがあります。
によって示される CPBM command - 助けて.
助けます | - 助けて
cpbm のヘルプ テキストを表示します。
- バージョン
現在のバージョンを表示します。
ホーム cpbm スクリプトが存在するパスを出力します。
開梱する CPROVER ベンチマーク パッケージを解凍します。
update CPROVER ベンチマーク パッケージを更新します。
INIT CPROVER ベンチマーク パッケージを作成します。
ラン 特定のベンチマークで検証ツールを実行し、ログを取得します。
鈍化する
Cil を介して C ソースを実行します。
リストクレーム
ベンチマーク内のすべての主張をリストします。
csvファイル ベンチマークの実行から CSV テーブルを生成します。
テーブル CSV から LaTeX テーブルを生成します。
グラフ 箱ひげ図と散布図用の GNUplot スクリプトを作成します。
ウェブ HTML テーブルを生成し、Web 公開用のログ ファイルを収集します。
onworks.net サービスを使用してオンラインで cpbm を使用する
