feat: support panic
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
- 30/100
Hướng nghiên cứu
Vì issue không nêu tên tệp, bài kiểm thử hoặc điểm vào nào, trước tiên hãy xác định mã báo cáo các hàm là UNKOWN FUNCTIONS và xử lý hành vi panic. Công việc hoàn tất khi các hàm panic được nhận diện và ngăn xếp lời gọi của chúng được hiển thị rõ ràng để điều tra.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Currently, the panic functions shown as UNKOWN FUNCTIONS which makes hard to investigate the problem.
We should support these functions and show the call stack to make it easy to analysize.
- Ngôn ngữ chính
- Python
- Star
- 55
- Fork
- 5
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.
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 runtimeverification/mir-semantics
-
Remove #init function from KĐang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 65/100
-
Inconsistent KMIR versions across projectCó thể đã có người làm @dkcumming đã nhận 105 ngày trước. Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
runtimeverification/mir-semantics#1078 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100
runtimeverification/mir-semantics#1070 · 2 bình luận ·
-
bug
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100
runtimeverification/mir-semantics#1067 ·
-
area:semantics kind:refactor priority:p1 status:triage type:task
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
runtimeverification/mir-semantics#1011 · 1 bình luận ·
Tất cả issue của runtimeverification/mir-semantics
Issue tương tự
-
docs, ffi, python: update stale "built-in rules" references and pipeline order in docstringsĐang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 74/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 66/100
suitenumerique/accounts#160 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Restoring an exhausted flatmap checkpoint can replay consumed recordsCó thể đã có người làm @salma2vec đã nhận hôm nay. Đang mởtype:bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100
Maintainer thường phản hồi trong vòng 1 ngày
-
`ingest` fails with pynndescent 0.7Có thể đã có người làm @eroell đã nhận hôm nay. Đang mởTriage 🩺
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
Maintainer thường phản hồi trong vòng 1 ngày