about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail-dep/libc/socketpair-data-race.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-10-17data-race test: disable address reuse that can incur accidental syncRalf Jung-1/+1
2024-10-08fix behavior of release_clock()Ralf Jung-0/+31