0xMiden / 0xMiden/miden-vm

Document expected error behavior in FRI E2F4 snapshot tests

Đang mở Phù hợp với người mới
#2,511 2 bình luận 0 reaction 0 người được giao Xem trên GitHub
documentation on hold tests
Ngôn ngữ chính
Rust
Star
772
Fork
352
Merge trung bình
1 ngày 7 giờ
Pull request đã merge (30 ngày)
84

Mô tả

Several FRI E2F4 test snapshots show `Error: AdapterInnerValueOverflow(...)` in their output, but the tests pass. This is confusing for anyone reviewing the test results.

**Example files:**
- `processor/src/fast/tests/snapshots/*FriE2F4*.snap`

The snapshots show errors like:
```
Error: AdapterInnerValueOverflow(...)
```

These errors are expected when `poe` equals `ZERO`. The tests verify that this error case is handled correctly.

We should add comments to the test code explaining why these errors appear in snapshots and why they're expected. The snapshots themselves are correct.

**References:**
- https://github.com/0xMiden/miden-vm/pull/2472#discussion_r2650455271
- https://github.com/0xMiden/miden-vm/pull/2472#discussion_r2650545946

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

Mở hướng dẫn đóng góp

Hướng nghiên cứu

Xem các tệp snapshot trong processor/src/fast/tests/snapshots/ khớp với *FriE2F4*.snap để xem các thông báo lỗi. Tìm mã kiểm thử tương ứng tạo ra các snapshot này. Thêm các chú thích giải thích rằng lỗi AdapterInnerValueOverflow được mong đợi khi `poe` bằng `ZERO` và bài kiểm thử xác minh việc xử lý lỗi chính xác. Chạy các bài kiểm thử để đảm bảo chúng vẫn vượt qua sau khi thêm các chú thích.

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

Đánh giá

Công nghệ
rust
Lĩnh vực
testing
Loại issue
Tài liệu
Độ khó
2/5
Thời gian dự kiến
1-3 giờ
Mức độ hoạt động
Đình trệ
Độ rõ ràng
Đặc tả rõ ràng
Mức phù hợp với người mới
65/100

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.