about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/validity/recursive-validity-ref-bool.stderr
AgeCommit message (Expand)AuthorLines
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-1/+1
2024-09-16Bump ui testOli Scherer-2/+2
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-0/+15