mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #2627 - RalfJung:ignore-windows, r=RalfJung

Browse Source 
update ignore-windows comments

Turns out 2 of these tests can actually be enabled. :)
This commit is contained in:
bors 2022-10-28 11:50:15 +00:00
commit 4827d41466
7 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/tools/miri/tests/fail/data_race/stack_pop_race.rs
View File

@ -1,4 +1,3 @@
//@ignore-target-windows: Concurrency on Windows is not supported yet.
//@compile-flags: -Zmiri-preemption-rate=0 //@compile-flags: -Zmiri-preemption-rate=0
use std::thread; use std::thread;

2
src/tools/miri/tests/fail/panic/no_std.rs
View File

@ -3,7 +3,7 @@
// windows tls dtors go through libstd right now, thus this test // windows tls dtors go through libstd right now, thus this test
// cannot pass. When windows tls dtors go through the special magic // cannot pass. When windows tls dtors go through the special magic
// windows linker section, we can run this test on windows again. // windows linker section, we can run this test on windows again.
//@ignore-target-windows //@ignore-target-windows: no-std not supported on Windows
// Plumbing to let us use `writeln!` to host stderr: // Plumbing to let us use `writeln!` to host stderr:

2
src/tools/miri/tests/pass/concurrency/sync.rs
View File

@ -1,4 +1,4 @@
//@ignore-target-windows: Concurrency on Windows is not supported yet. //@ignore-target-windows: Condvars on Windows are not supported yet.
//@compile-flags: -Zmiri-disable-isolation -Zmiri-strict-provenance //@compile-flags: -Zmiri-disable-isolation -Zmiri-strict-provenance
use std::sync::{Arc, Barrier, Condvar, Mutex, Once, RwLock}; use std::sync::{Arc, Barrier, Condvar, Mutex, Once, RwLock};

2
src/tools/miri/tests/pass/concurrency/sync_nopreempt.rs
View File

@ -1,4 +1,4 @@
//@ignore-target-windows: Concurrency on Windows is not supported yet. //@ignore-target-windows: Condvars on Windows are not supported yet.
// We are making scheduler assumptions here. // We are making scheduler assumptions here.
//@compile-flags: -Zmiri-strict-provenance -Zmiri-preemption-rate=0 //@compile-flags: -Zmiri-strict-provenance -Zmiri-preemption-rate=0

2
src/tools/miri/tests/pass/no_std.rs
View File

@ -3,7 +3,7 @@
// windows tls dtors go through libstd right now, thus this test // windows tls dtors go through libstd right now, thus this test
// cannot pass. When windows tls dtors go through the special magic // cannot pass. When windows tls dtors go through the special magic
// windows linker section, we can run this test on windows again. // windows linker section, we can run this test on windows again.
//@ignore-target-windows //@ignore-target-windows: no-std not supported on Windows
// Plumbing to let us use `writeln!` to host stdout: // Plumbing to let us use `writeln!` to host stdout:

2
src/tools/miri/tests/pass/shims/env/current_exe.rs vendored
View File

@ -1,4 +1,4 @@
//@ignore-target-windows //@ignore-target-windows: current_exe not supported on Windows
//@only-on-host: the Linux std implementation opens /proc/self/exe, which doesn't work cross-target //@only-on-host: the Linux std implementation opens /proc/self/exe, which doesn't work cross-target
//@compile-flags: -Zmiri-disable-isolation //@compile-flags: -Zmiri-disable-isolation
use std::env; use std::env;

1
src/tools/miri/tests/pass/shims/sleep_long.rs
View File

@ -1,4 +1,3 @@
//@ignore-target-windows: no threads nor sleep on Windows
//@compile-flags: -Zmiri-ignore-leaks -Zmiri-disable-isolation //@compile-flags: -Zmiri-ignore-leaks -Zmiri-disable-isolation
use std::sync::{Arc, Mutex}; use std::sync::{Arc, Mutex};
use std::thread; use std::thread;