summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/tree-borrows
AgeCommit message (Expand)AuthorLines
2023-04-28Tree Borrows: improved diagnosticsNeven Villani-68/+84
2023-04-26port stacked borrows tests to tree borrowsRalf Jung-0/+239
2023-04-26tree borrows: test String::as_mut_ptrRalf Jung-14/+41
2023-03-16TB: new testsNeven Villani-0/+502