Possible infinite loop for bad generators
まだ誰も着手していません。
評価
調査の方向性
issue からリンクされている、438～443 行目の include/trieste/wf.h のリトライループから始め、名前の生成方法と、shadowing を許可しない bindings の処理方法を確認してください。名前生成に関する該当テストを確認し、すでに使用済みの名前を生成する有限ジェネレーターのケースを追加してください。リトライ回数に上限が設けられ、そのケースが終了すれば完了です。上限は issue に指定されていません。
索引モデルが issue の本文から書いたものです。
説明
As brought up by Copilot's review of #209, there is a loop that continues to try and generate a fresh name until it succeeds:
With a generator that only generates a finite set of names, and for a binding that doesn't allow shadowing, this loop will never terminate. We should probably cap the number of retries in this loop.
- 主要言語
- C++
- スター
- 53
- フォーク
- 29
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
microsoft/Trieste のほかの issue
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
-
Large binary sizesオープン
難易度 4/5 3〜5日 初心者へのやさしさ 30/100
microsoft/Trieste の issue をすべて見る
似ている issue
-
area:qmc bug
難易度 2/5 1〜3時間 初心者へのやさしさ 69/100
メンテナーはふだん 3 日以内に返信
-
bug good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
ASGC-Game-Jam/asgc-gamejam-2026#563 ·
メンテナーはふだん 1 日以内に返信
-
area/ysql kind/bug priority/medium status/awaiting-triage
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
yugabyte/yugabyte-db#37523 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 66/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
Cockatrice/Cockatrice#7896 ·
メンテナーはふだん 1 日以内に返信