about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/tree_borrows/reborrow-is-read.rs
AgeCommit message (Expand)AuthorLines
2025-09-22TB: rename Active → Unique to match paperRalf Jung-2/+2
2023-11-29explain tests that disable the provenance GCRalf Jung-0/+1
2023-11-19tag-gc -> provenance-gcBen Kimock-1/+1
2023-07-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-1/+1
2023-06-03Select more TB fail testsNeven Villani-0/+24