summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/tree_borrows
AgeCommit message (Expand)AuthorLines
2024-09-29let rustfmt format importsRalf Jung-2/+1
2024-08-27tree_borrows test: ensure we can actually read the variableRalf Jung-1/+2
2024-08-22fix a misleading comment in TB testssun-jacobi-1/+1
2024-08-16Auto merge of #3754 - Vanille-N:master, r=RalfJungbors-36/+36
2024-08-12fix tree borrows Unique testRalf Jung-11/+7
2024-08-09Add a FIXME to the changed Miri testBen Kimock-0/+2
2024-08-09Bless MiriBen Kimock-3/+5
2024-07-24Make unused states of Reserved unrepresentableNeven Villani-36/+36
2024-07-09Implement fix for reservedim_spurious_write: ignore IM on protectedNeven Villani-1/+1
2024-04-17no need to use miri's native stderr hereRalf Jung-3/+2
2024-02-26tree borrows: add a test to sb_failsRalf Jung-2/+16
2024-01-02Allow unused tuple struct fields in Miri testsJake Goulding-1/+1
2023-11-29explain tests that disable the provenance GCRalf Jung-0/+7
2023-11-19tag-gc -> provenance-gcBen Kimock-7/+7
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-133/+405
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-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-10/+9
2023-07-28exract a perform_access, check read-read commutation exhaustivelyNeven Villani-16/+18
2023-07-26we correctly check that the perm is not lazy when triggering protectorsNeven Villani-0/+16
2023-07-26normalize tree borrow diagnostics across targetsRalf Jung-48/+48
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-1/+197
2023-06-03Select more TB fail testsNeven Villani-0/+884