Check that tokens are non-empty after `#Layout`
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức phù hợp với người mới
- 45/100
Hướng nghiên cứu
Read related issue #4592 first, then locate the code that removes tokens matching #Layout and validates token regular expressions. Implement the check that (~(L))&S is non-empty for every token S, and verify that the whitespace-stripping example is rejected while valid token definitions remain accepted.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Related to #4592
Check that, after removing all tokens matching #Layout, every token is still a non-empty regular expression, preventing bugs like
syntax #Layout ::= r"([\\n \\ \\r\\t])"
syntax Stmt ::= List{Int, " "}
where the list separator will never actually be matched because #Layout strips all white-space.
Explicitly, let L be the #Layout regex and S a token. We must check that (~(*L*))&S is non-empty where ~ is negation, * is Kleene star, and & is intersection.
- Ngôn ngữ chính
- Python
- Star
- 598
- Fork
- 164
- 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
- Không có Dockerfile hay tệp Docker Compose
- Không có mẫu pull request
- Đọc hướng dẫn đóng góp
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/k
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 43/100
runtimeverification/k#4942 ·
-
bug
Độ khó 3/5 Nửa ngày Mức phù hợp với người mới 75/100
runtimeverification/k#4941 ·
-
Introduce composable symbolic execution interface in pyxCó thể làm lại được @Stevengre đã nhận 126 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/k#4939 · 1 người được giao ·
-
Concolic ExplorerĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 32/100
runtimeverification/k#4937 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
runtimeverification/k#4936 ·
Tất cả issue của runtimeverification/k
Issue tương tự
-
enhancement
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
glossyio/traffic-monitor#264 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Add self-hostĐang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 75/100
Atarity/deploy-your-own-saas#102 ·
-
[Bug]: RDFlex silently drops the covariate adjustment when the outcome or treatment column is integer-typedCó thể đã có người làm @vrjdev đã nhận hôm nay. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
DoubleML/doubleml-for-py#424 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
agentic-dmx docs enhancement
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 86/100
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 72/100
521xueweihan/HelloGitHub#4150 ·