Finish and verify z3 tests

Đang mở

#77 mở ngày 28/1/2020 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Đánh giá

Độ khó: 5/5
Thời gian dự kiến: Hơn một tuần
Mức phù hợp với người mới: 25/100

Loại issue: Lỗi
Độ rõ ràng: Cần làm rõ
Mức độ hoạt động: Đình trệ
Công nghệ: python
Lĩnh vực: compilers, testing-qa

Hướng nghiên cứu

Bắt đầu bằng cách xác định các testing hook của z3 và đọc paper OOPSLA 2018 được tham chiếu trong issue. So sánh các hook và các test z3 hiện có với hành vi được mô tả trong paper, sau đó xác minh rằng các test phản ánh chính xác mức độ trung thực mong muốn. Công việc được xem là hoàn tất khi các testing hook chưa đầy đủ hoặc không chính xác được cập nhật và các test z3 vượt qua khi đối chiếu với tài liệu tham chiếu đó.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

z3 testing hooks are incorrect/incomplete. Update and verify fidelity with OOPSLA 2018 paper

Ngôn ngữ chính: Python
Star: 53
Fork: 16
Chỉ số merge pull request: Không có pull request nào được merge trong 30 ngày

Hướng dẫn đóng góp

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Bắt đầu từ đâu

Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
Fork repository và làm thay đổi trên một nhánh.
Mở pull request có tham chiếu số hiệu của issue.

Issue khác của lilott8/BioScript

update readme Đang mở

Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 62/100

lilott8/BioScript#70 · Mở ngày 5/11/2019
Functions are broken Đang mở

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

lilott8/BioScript#87 · Mở ngày 30/9/2020
MFSim target does not appropriately translate while conditionals Đang mở

bug

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

lilott8/BioScript#85 · Mở ngày 14/9/2020
VolumeTracker to track set of all possible volumes Đang mở

enhancement

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

lilott8/BioScript#80 · Mở ngày 4/2/2020
VolumeTracker should deal with Phi nodes appropriately Đang mở

bug good first issue

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100

lilott8/BioScript#79 · Mở ngày 4/2/2020

Tất cả issue của lilott8/BioScript

Issue tương tự

[Bug] reef-hermes tells me to resume with hermes --resume, which does not work from my shell Đang mở

area: harness bug status: needs-triage

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

Human-Agent-Society/reef#625 · Mở ngày 24/9/2026
Bump transitive axios to >=1.18.0 to address GHSA-hcpx-6fm6-wx23 Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100

coinbase/cdp-sdk#828 · Mở ngày 24/9/2026
AccessibleResourceCard/AccessibleChannelCard crash when a resource has more than one learning activity (getActivityTags returns an object instead of an array) Đang mở

Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 80/100

learningequality/kolibri#15351 · 2 bình luận · Mở ngày 24/9/2026
audeer.path(): optionally expand environment variables Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

audeering/audeer#212 · 1 bình luận · Mở ngày 24/9/2026
Name consistency Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

eellak/triplestore#65 · 1 bình luận · Mở ngày 24/9/2026

Thêm issue về Python