Two percentage options in compset
まだ誰も着手していません。
評価
- 難易度
- 3/5
- 見積もり時間
- 1〜2日
- 初心者へのやさしさ
- 45/100
- issue の種類
- バグ
- 明瞭さ
- 説明が足りない
- 活発さ
- 静か
- 技術スタック
- python
- 領域
- testing-qa
調査の方向性
まず、MOM6 の後に REGIONAL と MARBL-BIO のパーセントオプションを生成する CrocoDash compset フローを再現し、次に、それらのオプションが Z3 でどのようにチェックされるかを追跡します。完了条件は、2 つのオプションによって Z3 チェックが失敗したり、誤動作したりしなくなることです。
索引モデルが issue の本文から書いたものです。
説明
In CrocoDash we get two options after MOM6 in the compset REGIONAL and MARBL-BIO. Those don't seem to play well in the checking with Z3, that needs to be looked at a bit.
- 主要言語
- Python
- スター
- 16
- フォーク
- 4
- 平均マージ
- 9時間
- マージ済み PR（30日）
- 2
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
ESMCI/visualCaseGen のほかの issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
ESMCI/visualCaseGen#43 ·
-
Miscellaneous pre-existing issues found while reviewing #45再び着手できるかも @manishvenu が 40 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
ESMCI/visualCaseGen#47 · 担当者 1 名 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 58/100
ESMCI/visualCaseGen#44 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
ESMCI/visualCaseGen#33 ·
-
question
難易度 2/5 1〜3時間 初心者へのやさしさ 38/100
ESMCI/visualCaseGen#25 · コメント 1 件 ·
ESMCI/visualCaseGen の issue をすべて見る
似ている issue
-
bug good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
yunaremaia/proto-drift#22 ·
-
bug good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
yunaremaia/memwatch#96 ·
-
bug good first issue
難易度 1/5 1時間未満 初心者へのやさしさ 91/100
yunaremaia/ci-gate-watch#34 ·
-
bug good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
yunaremaia/agent-capability-attestation#64 ·
メンテナーはふだん 1 日以内に返信
-
bug good first issue
難易度 1/5 1時間未満 初心者へのやさしさ 86/100
yunaremaia/agent-call-graph#43 ·
メンテナーはふだん 1 日以内に返信