user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fixed test target

Browse source 
Co-authored-by: Ralf Jung <post@ralfj.de>
This commit is contained in:
Yoh Deadfall 2024-11-11 15:38:10 +03:00
parent 57c66159da
commit 64f42a4107
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tools/miri/tests/fail-dep/libc/libc-epoll-data-race.rs
View file

@ -2,8 +2,7 @@
//! and we only read one of them, we do not synchronize with the other events
//! and therefore still report a data race for things that need to see the second event
//! to be considered synchronized.
//@only-target: linux
//@only-target: android
//@only-target: linux android
// ensure deterministic schedule
//@compile-flags: -Zmiri-preemption-rate=0