roundme

roundme 是一个实验性的人工辅助舍入分析器。它旨在提供建议以确定算术运算应向上舍入还是向下舍入

安装

使用方法

cargo install roundme

使用 roundme init 命令生成默认配置文件。

git clone [email protected]:crytic/roundme.git
cd roundme
cargo install --path .

如何使用

• 运行 roundme init 以生成默认配置文件。
• 运行 roundme config 以生成用户配置文件。
• 运行 roundme analyze 以分析配置文件
• 运行 roundme pdf 以生成 PDF（需要 latexmk）

在默认配置上运行 roundme pdf 将生成以下内容：

配置

roundme 依赖于配置文件

formula: a * b / c 
round_up: true
less_than_one: ["a * b"] # optional
greater_than_one: ["c"] # optional

• formula 包含要分析的公式
• round_up 确定公式的结果是否应该向上舍入或向下舍入
• less_than_one 用于 ** 规则 （原始字符串比较和敏感于空格）
• greater_than_one 用于 ** 规则 （原始字符串比较和敏感于空格）