about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_mutex_move.rs
AgeCommit message (Expand)AuthorLines
2024-10-14pthread_mutex: store mutex ID outside adressable memory, so it can be trustedRalf Jung-2/+2
2024-09-16Bump ui testOli Scherer-1/+1
2024-09-05Detect pthread_mutex_t is movedKonstantinos Andrikopoulos-0/+28