mutate: equivalent mutants are reported as survivors
Maintainer thường phản hồi trong vòng 1 ngày
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
- 38/100
- Loại issue
- Lỗi
- Độ rõ ràng
- Khá rõ ràng
- Mức độ hoạt động
- Sôi nổi
- Công nghệ
- javascript, markdown, rust, yaml
- Lĩnh vực
- testing-qa
Hướng nghiên cứu
Start with the equivalent-suspect heuristic and the swap-order handling; the issue does not name implementation files or tests. Read the parent issue #272 and inspect how guards and variable assignments are represented, then find the relevant mutation tests. Done when provably disjoint guards are skipped and grid-aligned one-step bound shifts are reported as equivalent-suspect.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Two classes the 'equivalent-suspect' heuristic misses: (a) swapping the order of two transitions whose guards are mutually exclusive (e.g. x <= 850 / x > 850); (b) shifting a bound by one where the variable only takes values on a grid (steps of 50 against a bound of 850). They lower the score and hide real survivors.
Proposal: skip swap-order when the guards are provably disjoint (same variable, complementary relational ops), and report literal shifts as equivalent-suspect when a variable's assignments are all multiples of a step that straddles the bound.
Found while building the grid-tie inverter dogfood model (branch claude/gti-model, docs/demo-model/grid-tie-inverter.md). Part of #272.
Generated by Claude Code
- Ngôn ngữ chính
- Rust
- Star
- 8
- Fork
- 1
- Merge trung bình
- 4 giờ 44 phút
- Pull request đã merge (30 ngày)
- 51
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 sjames/syscribe
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
Maintainer thường phản hồi trong vòng 1 ngày
-
enhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
sjames/syscribe#411 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Format-preserving writes for structural frontmatter (features, connections, layout, shapes, edges)Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
sjames/syscribe#405 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
Tất cả issue của sjames/syscribe
Issue tương tự
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
swc-project/swc-ai-issues#432 ·
-
SPLADE `/embed_sparse` output depends on the other inputs in the batch (candle BertModel / DistilBertModel)Có thể đã có người làm @0z5a đã nhận hôm nay. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
huggingface/text-embeddings-inference#979 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
good first issue help wanted
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
servo/rust-smallvec#874 ·
-
Expression with ill-formed typeĐang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 94/100
Maintainer thường phản hồi trong vòng 1 ngày
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
Maintainer thường phản hồi trong vòng 2 ngày