Validate artifact contracts after an expected nonzero program exit
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 2/5
- 見積もり時間
- 1〜3時間
- 初心者へのやさしさ
- 75/100
調査の方向性
バグは tools/run_tests.py の classify_program 関数にあります。まず、validate_compiled_artifact が呼び出される場所を確認するために関数を読んでください。修正は、期待される非ゼロ終了コードに対して戻る前に検証が実行されるようにすることです。提供された再現スクリプトを実行して問題を確認し、スキップされたブランチの単体テストを作成してください。例となるテストケースについては tests/cases/shared/test1.wave を参照してください。
索引モデルが issue の本文から書いたものです。
説明
Problem
In classify_program in tools/run_tests.py, the expected-nonzero success branch returns before validate_compiled_artifact. A matching exit code can therefore pass a case whose assembly/object requirements fail.
Reproduction
Run this focused unit reproduction from the repository root:
import sys
from dataclasses import replace
from unittest.mock import patch
from tools import run_tests as r
metadata = replace(
r.parse_test_metadata("tests/cases/shared/test1.wave"), expected_exit=42
)
with patch.object(r, "validate_compiled_artifact", return_value="missing assembly marker") as check:
result = r.classify_program(
"audit", "tests/cases/shared/test1.wave",
[sys.executable, "-c", "raise SystemExit(42)"], metadata, None,
)
print(result[0], check.call_count)
Save as /tmp/repro.py; run PYTHONPATH=. python3 /tmp/repro.py. The mock represents a failing artifact requirement.
Tested at 01955d715dda275de993948037091140bb859174 on Fedora Linux 43, x86_64, with Python 3.14.
Actual: PASS (expected exit=42) followed by 3 0, indicating a pass and no validator call. Expected: failure classification 0 and one validator call. Setting both exit values to 0 already produces that expected result.
Completion criteria
- Validate artifact requirements before accepting either expected-zero or expected-nonzero execution.
- Retain the runner's distinct success classifications and actual/expected exit diagnostics.
- Add a unit regression for the skipped branch and an integration case with a real missing assembly marker.
- Keep matching-exit cases with valid artifacts passing.
Compile-only object-presence checking in #514 is separate.
Difficulty: easy.
- 主要言語
- Rust
- スター
- 56
- フォーク
- 21
- 平均マージ
- 4時間 19分
- マージ済み PR（30日）
- 49
環境構築
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
wavefnd/Wave のほかの issue
-
enhancement good first issue needs testing
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
bug good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
bug good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
documentation enhancement good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
メンテナーはふだん 1 日以内に返信
-
enhancement good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 1 日以内に返信
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
adorsys/status-list-server#698 ·
メンテナーはふだん 2 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
nannou-org/egui_graph#92 ·
メンテナーはふだん 1 日以内に返信
-
documentation good first issue
難易度 2/5 半日 初心者へのやさしさ 72/100
sujithputta02/Esapay#13 ·
-
Deduplicate normalized_f64_bits (hash_table.rs and bloom_filter.rs)対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
tursodatabase/turso#10002 ·
メンテナーはふだん 1 日以内に返信
-
needs triage
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
topgrade-rs/topgrade#2419 ·
メンテナーはふだん 1 日以内に返信