cpbm - 云端在线

程序：

您的姓名

cpbm - 一个软件分析工具包（原为：CPROVER 基准测试框架）

概要

煤层气 子命令 [选项] ...

商品描述

本手册页简要记录了 煤层气 命令。

煤层气 提供对一系列脚本和工具的访问，以对软件分析进行基准测试
工具。

子命令

以下子命令可用； 他们每个人都有自己的一组选项
由 煤层气 命令 - 帮帮我.

帮助 | - 帮帮我
显示 cpbm 帮助文本。

- 版
显示当前版本。

主页 打印 cpbm 脚本所在的路径。

解压 打开 CPROVER 基准测试包。

更新 更新 CPROVER 基准测试包。

初始化 创建 CPROVER 基准测试包。

运行 在给定的基准测试上运行验证工具并获取日志。

教化
通过 Cil 运行 C 源代码。

列表声明
列出基准中的所有声明。

CSV 从基准运行生成 CSV 表。

表 从 CSV 生成 LaTeX 表。

图形 为箱线图和散点图生成 GNUplot 脚本。

卷筒纸 生成 HTML 表格并收集用于网络发布的日志文件

使用 onworks.net 服务在线使用 cpbm