Excluded Proof Tests from CI Due to Failures
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 35/100
- issue の種類
- バグ
- 明瞭さ
- おおむね明確
- 活発さ
- 停滞
- 技術スタック
- wasm
- 領域
- compilers, testing-qa
調査の方向性
tests/proofs/loops-spec.k と tests/proofs/wrc20-spec.k から始め、その後、K dependency update PR #716 中に発生した失敗を確認してください。各 proof test が失敗する理由を特定し、根本的な問題を修正してください。両方のテストが CI で成功し、再度有効化されれば完了です。
索引モデルが issue の本文から書いたものです。
説明
The following proof tests were excluded from the CI due to persistent failures:
tests/proofs/loops-spec.ktests/proofs/wrc20-spec.k
These tests were failing on the K dependency update PR #716 . To unblock the PR, they were temporarily excluded, but they need to be investigated and re-enabled once fixed.
- 主要言語
- WebAssembly
- スター
- 106
- フォーク
- 24
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
runtimeverification/wasm-semantics のほかの issue
-
enhancement
難易度 2/5 1〜3時間 初心者へのやさしさ 55/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 55/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
runtimeverification/wasm-semantics の issue をすべて見る
似ている issue
-
bug good-title pdd
難易度 2/5 1時間未満 初心者へのやさしさ 82/100
objectionary/phino#1630 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
メンテナーはふだん 2 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
メンテナーはふだん 4 日以内に返信
-
clang:driver
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
llvm/llvm-project#227780 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信