这是 cpbm 命令，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
cpbm - 一个软件分析工具包（原为：CPROVER 基准测试框架）
概要
煤层气 子命令 [选项] ...
商品描述
本手册页简要记录了 煤层气 命令。
煤层气 提供对一系列脚本和工具的访问，以对软件分析进行基准测试
工具。
子命令
以下子命令可用； 他们每个人都有自己的一组选项
由 煤层气 命令 - 帮帮我.
帮助 | - 帮帮我
显示 cpbm 帮助文本。
- 版
显示当前版本。
主页 打印 cpbm 脚本所在的路径。
解压 打开 CPROVER 基准测试包。
更新 更新 CPROVER 基准测试包。
初始化 创建 CPROVER 基准测试包。
运行 在给定的基准测试上运行验证工具并获取日志。
教化
通过 Cil 运行 C 源代码。
列表声明
列出基准中的所有声明。
CSV 从基准运行生成 CSV 表。
表 从 CSV 生成 LaTeX 表。
图形 为箱线图和散点图生成 GNUplot 脚本。
卷筒纸 生成 HTML 表格并收集用于网络发布的日志文件
使用 onworks.net 服务在线使用 cpbm
