about summary refs log tree commit diff
path: root/src/tools/miri/tests/utils/macros.rs
AgeCommit message (Expand)AuthorLines
2023-07-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-11/+7
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-4/+4
2023-03-16TB: document TB changes in READMENeven Villani-0/+61