Implement std::sync::Mutex interception for GenMC mode.#4614

Merged

RalfJung merged 1 commit intorust-lang:masterfrom

Patrick-6:miri-genmc-mutex

Oct 7, 2025

Commits on Oct 7, 2025

Implement std::sync::Mutex interception in GenMC mode.
Patrick-6
committed