about summary refs log tree commit diff
path: root/src/tools/miri/tests/utils/miri_extern.rs
AgeCommit message (Expand)AuthorLines
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-0/+5
2023-11-20Test that the GC consults the extra_fn_ptr mapBen Kimock-0/+5
2023-11-19tag-gc -> provenance-gcBen Kimock-1/+1
2023-07-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-2/+0
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-1/+1
2023-03-16TB: document TB changes in READMENeven Villani-0/+142