summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/both_borrows
AgeCommit message (Expand)AuthorLines
2023-08-11Rename cast_ref_to_mut lint to invalid_reference_castingUrgau-1/+1
2023-06-19bless new testsRalf Jung-2/+2
2023-06-10box_exclusive_violationNeven Villani-0/+118
2023-06-05Differentiate between explicit accesses and accesses inserted by TBNeven Villani-87/+87
2023-06-03Select more TB fail testsNeven Villani-0/+2377