about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/tree_borrows/tree-borrows.rs
AgeCommit message (Expand)AuthorLines
2025-05-05move tests that are identical between SB and TB to shared filesRalf Jung-255/+2
2025-05-04Remove -Zunique-is-uniqueJohannes Hostert-2/+0
2024-09-29let rustfmt format importsRalf Jung-2/+1
2024-08-22fix a misleading comment in TB testssun-jacobi-1/+1
2024-01-02Allow unused tuple struct fields in Miri testsJake Goulding-1/+1
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-0/+19
2023-08-02add local_addr_of_mut testRalf Jung-0/+12
2023-08-02add write_does_not_invalidate_all_aliases test, and enable direct_mut_to_cons...Ralf Jung-5/+34
2023-07-28exract a perform_access, check read-read commutation exhaustivelyNeven Villani-0/+18
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-0/+2
2023-06-03Select more TB fail testsNeven Villani-0/+280