cli API
cli 是原生可执行文件 floating-conformance。它将参数分派给四个符合性运行器(gda、testfloat、mpfr、itl)之一,并以该运行器的返回码退出。该包没有公开的 MoonBit 项;本页记录其命令行接口。教程展示典型的调用方式,设计页面解释其分层结构。
命令行
floating-conformance --backend <gda|testfloat|mpfr|itl> [backend options]
floating-conformance --help
| 参数 | 含义 |
|---|---|
--backend NAME, --backend=NAME | 选择运行器;必需,至多出现一次 |
--help, -h | 一旦遇到即打印用法行并以 0 退出,即使出现在 --backend 之后也是如此(因此无法通过分派器使用运行器自身的 --help) |
| 其他任何参数 | 按顺序转发给运行器 |
运行器接收程序名及其后转发的参数,并按 gda_expr_cli、testfloat_expr_cli、mpfr_expr_cli 和 itl_expr_cli 中的说明解释它们。
退出状态
| 代码 | 含义 |
|---|---|
0 | --help,或运行器报告成功 |
1 | 运行器发现了失败的用例(或在严格模式下发现了不支持的用例) |
2 | 缺少、重复或未知的 --backend,或者运行器的用法、文件或解析错误 |
消息输出到标准输出。
构建
该可执行文件由符合性工具链构建:
just conformance build decimal_gda # or binary, interval
sh tools/run_moon_clean_exec.sh run --release --target native src/cli -- --help
tools/conformance_cli.py 为每个后端构建一次 src/cli,输出到 _build/conformance/<backend>/,并将其复制为 <backend>-conformance.exe,从而使不同后端的并行构建不共享目标目录。
完整公共接口
该包不导出任何 MoonBit 项。
// Generated using `moon info`, DON'T EDIT IT
package "Luna-Flow/floating/cli"
// Values
// Errors
// Types and methods
// Type aliases
// Traits