about summary refs log tree commit diff
path: root/src/tools/miri/tests/utils
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
2025-09-07Implement more features for GenMC modePatrick-6-0/+7
2025-09-03Merge pull request #4506 from Patrick-6/miri-genmc-mvpRalf Jung-0/+57
2025-09-03Implement basic support for running Miri with GenMC.Patrick-6-0/+57
2025-08-29unix read/write: fix zero-size handlingRalf Jung-4/+1
2025-07-19non-deterministically truncate reads/writesRalf Jung-1/+45
2024-05-09do not run symlink tests on Windows hostsRalf Jung-0/+24
2024-04-17tests/utils: add fmt::Write implementations for miri's native stdout/stderrRalf Jung-2/+40
2024-02-26miri: rename miri_start_panic → miri_start_unwindRalf Jung-1/+1
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-0/+5
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/+12
2023-11-19tag-gc -> provenance-gcBen Kimock-1/+1
2023-10-22use visibility to check unused imports and delete some stmtsbohan-0/+1
2023-09-01fix(std): Rename os_str_bytes to encoded_bytesEd Page-1/+1
2023-07-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-15/+46
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-5/+5
2023-03-16TB: document TB changes in READMENeven Villani-0/+205
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 03:17:47 +0000