Finish and verify z3 tests
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 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 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
lilott8/BioScript 的其他 Issue
-
update readme 未关闭
难度 1/5 1 小时以内 新手友好度 62/100
-
难度 4/5 3-5 天 新手友好度 25/100
-
bug
难度 3/5 1-2 天 新手友好度 35/100
-
enhancement
难度 5/5 一周以上 新手友好度 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 条评论 ·