about summary refs log tree commit diff
path: root/src/tools/miri/tests/utils/mod.rs
AgeCommit message (Expand)AuthorLines
2025-09-22share the check_nondet helper as wellRalf Jung-0/+15
2025-09-22share check_all_outcomes impl, and increase max iteration countsRalf Jung-0/+35
2024-04-17tests/utils: add fmt::Write implementations for miri's native stdout/stderrRalf Jung-0/+2
2023-11-25make tests/utils work with edition 2015Ralf Jung-2/+2
2023-11-21fmtRalf Jung-3/+1
2023-11-20Test that the GC consults the extra_fn_ptr mapBen Kimock-0/+7
2023-10-22use visibility to check unused imports and delete some stmtsbohan-0/+1
2023-07-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-2/+10
2023-03-16TB: document TB changes in READMENeven Villani-0/+2