rust/src/tools/miri/tests/utils, branch master

share the check_nondet helper as well

2025-09-22T12:52:35+00:00

share check_all_outcomes impl, and increase max iteration counts

2025-09-22T12:52:35+00:00

Implement more features for GenMC mode

2025-09-07T21:51:17+00:00

- Support for atomic fences. - Support for atomic read-modify-write (RMW). - Add tests using RMW and fences. - Add options: - to disable weak memory effects in GenMC mode. - to print GenMC execution graphs. - to print GenMC output message. - Fix GenMC full rebuild issue and run configure step when commit changes. - Do cleanup. Co-authored-by: Ralf Jung

Merge pull request #4506 from Patrick-6/miri-genmc-mvp

2025-09-03T13:25:37+00:00

Add minimal functionality for using GenMC mode

Implement basic support for running Miri with GenMC.

2025-09-03T10:41:32+00:00

- Implement memory allocation compatible with GenMC. - Extract address generator struct from Miri's allocator. - Support thread creation and joining. - Support atomic load and store. - Support scheduling through GenMC. - Add tests for GenMC mode. - Add clang-format file for C++ code in Miri. - Update genmc-sys crate license to MIT/Apache to match GenMC dependency. - Add documentation for GenMC mode. Note: this commit depends on changes to GenMC not yet upstreamed to its official repository. Co-authored-by: Ralf Jung

unix read/write: fix zero-size handling

2025-08-29T13:13:55+00:00

non-deterministically truncate reads/writes

2025-07-19T16:43:13+00:00

do not run symlink tests on Windows hosts

2024-05-09T10:28:53+00:00

tests/utils: add fmt::Write implementations for miri's native stdout/stderr

2024-04-17T07:47:16+00:00

miri: rename miri_start_panic → miri_start_unwind

2024-02-26T10:10:18+00:00