Start K Server for CI tests
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
- 35/100
Hướng nghiên cứu
Bắt đầu bằng cách kiểm tra các bài kiểm thử CI của KEVM Haskell và KEVM Foundry, sau đó đọc pyk/src/pyk/testing/_kompiler.py để tìm điểm tích hợp của testing-plugin. Xác nhận cách khởi động K Server và cách sử dụng một pool tiến trình Z3 dùng chung; hoàn thành có nghĩa là cả hai bộ kiểm thử đều khởi động server và dùng chung pool trong CI.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
- Start K Server before KEVM Haskell and KEVM Foundry tests.
- Make sure that we're getting a shared Z3 process pool among those.
Would it be possible to integrate this logic for starting the K Server into the testing plugin? https://github.com/runtimeverification/pyk/blob/master/src/pyk/testing/_kompiler.py.
Related issue? https://github.com/runtimeverification/k/issues/4218
- Ngôn ngữ chính
- KCL
- Star
- 592
- Fork
- 156
- Merge trung bình
- 2 giờ 19 phút
- Pull request đã merge (30 ngày)
- 1
Chuẩn bị môi trường
Chúng tôi chưa kiểm tra các tệp thiết lập môi trường của dự án này. 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/evm-semantics
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 78/100
runtimeverification/evm-semantics#1190 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
runtimeverification/evm-semantics#2879 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
runtimeverification/evm-semantics#2869 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
runtimeverification/evm-semantics#2832 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
runtimeverification/evm-semantics#2824 ·
Tất cả issue của runtimeverification/evm-semantics
Issue tương tự
-
type/bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
stackabletech/kafka-operator#1033 · 1 bình luận ·
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 84/100
Urigo/accounter-fullstack#4583 ·
Maintainer thường phản hồi trong vòng 2 ngày
-
agentic-workflows documentation workflow-editor
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
githubnext/gh-aw-workshop#3966 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
🔒 [IBM OSPO Security Notification] — IBM/Deploy-a-Cloud-Native-Application-that-uses-Generative-AIĐang mởsecurity
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
IBM/Deploy-a-Cloud-Native-Application-that-uses-Generative-AI#7 ·
-
agentic-workflows area/Docs partner/agentic-workflows
Độ 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