cli API
cli はネイティブ実行ファイル floating-conformance です。引数を 4 つの適合性ランナー（gda、testfloat、mpfr、itl）のいずれかに振り分け、ランナーの終了コードで終了します。このパッケージには公開された MoonBit の項目がないため、このページではコマンドラインインターフェースを説明します。典型的な呼び出し方はチュートリアルで示し、階層構造の説明は設計ページで行います。
コマンドライン
floating-conformance --backend <gda|testfloat|mpfr|itl> [backend options]
floating-conformance --help| 引数 | 意味 |
|---|---|
--backend NAME, --backend=NAME | ランナーを選択する。必須で、指定は最大 1 回 |
--help, -h | 到達した時点で使用法の行を出力し、0 で終了する（--backend の後でも同様。そのため、ランナー自身の --help にはディスパッチャ経由では到達できない） |
| その他すべて | 順序どおりランナーへ転送される |
ランナーはプログラム名とそれに続く転送された引数を受け取り、gda_expr_cli、testfloat_expr_cli、mpfr_expr_cli、itl_expr_cli に記載されたとおりに解釈します。
終了ステータス
| コード | 意味 |
|---|---|
0 | --help、またはランナーが成功を報告した |
1 | ランナーが失敗するケース（strict モードではサポートされないケースも）を検出した |
2 | --backend の欠落・重複・不明な値、またはランナーの使用法エラー、ファイルエラー、構文解析エラー |
メッセージは標準出力に出力されます。
ビルド
実行ファイルは適合性ツールによってビルドされます。
just conformance build decimal_gda # or binary, interval
sh tools/run_moon_clean_exec.sh run --release --target native src/cli -- --helptools/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