We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8c91324 commit cbc1bd9Copy full SHA for cbc1bd9
tests/pass/adjacent-allocs.rs
@@ -1,5 +1,5 @@
1
//@compile-flags: -Zmiri-permissive-provenance
2
-//@only-miri: CI found nonadjacent stack variables
+//@only-miri: stack variables might never be adjacent in real executions
3
4
fn ensure_allocs_can_be_adjacent() {
5
for _ in 0..512 {
0 commit comments