about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_mutex_deadlock.rs
AgeCommit message (Expand)AuthorLines
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-0/+2
2024-09-16Bump ui testOli Scherer-1/+1
2024-05-06organize libc tests into a proper folder, and run some of them on WindowsRalf Jung-0/+29