about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/vec.rs
AgeCommit message (Expand)AuthorLines
2023-07-03vec tets: ensure pointer is still writeableRalf Jung-6/+6
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-2/+3
2023-03-16TB: select tests to run both TB and SBNeven Villani-0/+2
2023-01-17add miri regression testThe 8472-0/+6
2022-12-24fix warningsRalf Jung-1/+1
2022-12-23fix one more unaligned self.ptr, and add testsRalf Jung-0/+14
2022-12-23fix IntoIter::drop on high-alignment ZSTRalf Jung-7/+11
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+176