about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/validity/recursive-validity-ref-bool.rs
AgeCommit message (Expand)AuthorLines
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-0/+8