summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/tree_borrows
AgeCommit message (Expand)AuthorLines
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-0/+208
2023-06-18Merge from rustcRalf Jung-1/+1
2023-06-05Differentiate between explicit accesses and accesses inserted by TBNeven Villani-33/+33
2023-06-03Select more TB fail testsNeven Villani-0/+839