Add a flag -a to show all verification conditions sent to the smt solver
@CatarinaGamboa đang làm issue này rồi.
Từ ngày 2/6/2026.
Đánh giá
Issue này chưa được đánh giá.
Mô tả
Problem
When there is an error we can use -d to get more info. But when there isn't an error, and there should be, we also should be able to see more information than just "Correct! Passed verification" if we want to.
Proposed solution
Similar to debug logger, add info for every smt query that has been done.
Alternatives considered
Always showing everything is too much, using interactive debug is the current option but not the best
- Ngôn ngữ chính
- Java
- Star
- 67
- Fork
- 36
- Merge trung bình
- 10 ngày 18 giờ
- Pull request đã merge (30 ngày)
- 3
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 liquid-java/liquidjava
-
enhancement ide
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
liquid-java/liquidjava#206 ·
-
tests
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 25/100
liquid-java/liquidjava#198 ·
-
Diagnostic Based Test Results Đang mởtests
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
liquid-java/liquidjava#197 ·
-
tests
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
liquid-java/liquidjava#196 · 2 bình luận ·
-
Improve Test Suite Đang mởenhancement tests
liquid-java/liquidjava#174 · 1 bình luận · 1 người được giao ·
Tất cả issue của liquid-java/liquidjava
Issue tương tự
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 85/100
-
Two open-case totals on one screen: the Programs tile says 15,858 and the nav badge says 15,868 Đang mởbug frontend maui-pilot
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
objectionary/eo-graphs#74 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100