Finish and verify z3 tests
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 25/100
- issue の種類
- バグ
- 明瞭さ
- 説明が足りない
- 活発さ
- 停滞
- 技術スタック
- python
- 領域
- compilers, testing-qa
調査の方向性
まず z3 のテストフックを見つけ、issue で参照されている OOPSLA 2018 の論文を読んでください。フックと既存の z3 テストを論文に記述された動作と比較し、その後、テストが意図された忠実度を正確に反映していることを確認してください。不完全または不正確なテストフックが更新され、そのリファレンスに対して z3 テストがパスすれば完了です。
索引モデルが issue の本文から書いたものです。
説明
z3 testing hooks are incorrect/incomplete. Update and verify fidelity with OOPSLA 2018 paper
- 主要言語
- Python
- スター
- 53
- フォーク
- 16
- PR マージ指標
- 30日以内にマージされた PR はありません
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
lilott8/BioScript のほかの issue
-
update readme オープン
難易度 1/5 1時間未満 初心者へのやさしさ 62/100
-
Functions are broken オープン
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
-
bug
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
bug good first issue
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
lilott8/BioScript の issue をすべて見る
似ている issue
-
area: harness bug status: needs-triage
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
Human-Agent-Society/reef#625 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
-
難易度 1/5 1時間未満 初心者へのやさしさ 80/100
learningequality/kolibri#15351 · コメント 2 件 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
-
Name consistency オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
eellak/triplestore#65 · コメント 1 件 ·