about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass-dep/libc/pthread-sync.rs
AgeCommit message (Expand)AuthorLines
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-1/+1
2025-04-29Added random schedulinggeetanshjuneja-1/+1
2024-11-09pthread-sync: avoid confusing error when running with preemptionRalf Jung-0/+24
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/+315