summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/tree-borrows/reserved
AgeCommit message (Expand)AuthorLines
2023-04-28tweak wordingRalf Jung-12/+14
2023-04-28Tree Borrows: improved diagnosticsNeven Villani-16/+42
2023-03-16TB: new testsNeven Villani-0/+122