Home
last modified time | relevance | path

Searched full:miri (Results 1 – 25 of 69) sorted by relevance

123

/external/rust/crates/smallvec/scripts/
Drun_miri.sh9 # Install and run the latest version of nightly where miri built successfully.
10 # Taken from: https://github.com/rust-lang/miri#running-miri-on-ci
12 …htly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
13 echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
16 rustup component add miri
17 cargo miri setup
19 cargo miri test --verbose
20 cargo miri test --verbose --features union
21 cargo miri test --verbose --all-features
/external/rust/crates/memchr/src/
Dlib.rs39 #[cfg(all(test, all(not(miri), feature = "std")))]
54 #[cfg(all(test, all(not(miri), feature = "std")))]
56 #[cfg(all(test, any(miri, not(feature = "std"))))]
57 #[path = "tests/miri.rs"]
59 #[cfg(all(not(miri), target_arch = "x86_64", memchr_runtime_simd))]
134 #[cfg(miri)] in memchr()
140 #[cfg(all(target_arch = "x86_64", memchr_runtime_simd, not(miri)))] in memchr()
149 not(miri), in memchr()
159 not(miri), in memchr()
197 #[cfg(miri)] in memchr2()
[all …]
/external/rust/crates/memoffset/ci/
Dmiri.sh3 # Install Miri.
4 …htly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
5 echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
7 rustup component add miri
10 cargo miri test
11 cargo miri test --all-features
/external/rust/crates/bytes/ci/
Dmiri.sh4 …htly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
5 echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
8 rustup component add miri
10 cargo miri test
11 cargo miri test --target mips64-unknown-linux-gnuabi64
/external/rust/crates/ryu/.github/workflows/
Dci.yml34 miri:
35 name: Miri
41 components: miri
42 - run: cargo miri setup
43 - run: cargo miri test
/external/rust/crates/ppv-lite86/src/
Dlib.rs15 #[cfg(all(target_arch = "x86_64", not(feature = "no_simd"), not(miri)))]
17 #[cfg(all(target_arch = "x86_64", not(feature = "no_simd"), not(miri)))]
20 #[cfg(any(feature = "no_simd", miri, not(target_arch = "x86_64")))]
22 #[cfg(any(feature = "no_simd", miri, not(target_arch = "x86_64")))]
/external/rust/crates/anyhow/.github/workflows/
Dci.yml65 miri:
66 name: Miri
72 components: miri
73 - run: cargo miri test
/external/rust/crates/memchr/.github/workflows/
Dci.yml149 test-with-miri:
150 name: test with miri
163 components: miri
166 - run: cargo miri test --verbose
167 - run: cargo miri test --verbose --no-default-features
168 - run: cargo miri test --verbose --features libc
/external/rust/crates/ahash/src/
Doperations.rs5 #[cfg(all(target_feature = "ssse3", not(miri)))]
17 #[cfg(all(target_feature = "ssse3", not(miri)))] in shuffle()
28 #[cfg(not(all(target_feature = "ssse3", not(miri))))] in shuffle()
48 #[cfg(all(any(target_arch = "x86", target_arch = "x86_64"), target_feature = "sse2", not(miri)))]
61 #[cfg(not(all(any(target_arch = "x86", target_arch = "x86_64"), target_feature = "sse2", not(miri))…
67 #[cfg(all(any(target_arch = "x86", target_arch = "x86_64"), target_feature = "aes", not(miri)))]
81 #[cfg(all(any(target_arch = "x86", target_arch = "x86_64"), target_feature = "aes", not(miri)))]
170 not(miri)
265 not(miri)
Dlib.rs37 #[cfg(all(any(target_arch = "x86", target_arch = "x86_64"), target_feature = "aes", not(miri)))]
51 #[cfg(all(any(target_arch = "x86", target_arch = "x86_64"), target_feature = "aes", not(miri)))]
54 #[cfg(not(all(any(target_arch = "x86", target_arch = "x86_64"), target_feature = "aes", not(miri)))…
/external/rust/crates/hashlink/.circleci/
Dconfig.yml13 rustup toolchain install nightly -c miri rust-src rustfmt
40 name: Run all tests under miri
42 cargo +nightly miri test
/external/rust/crates/bytes/.github/workflows/
Dci.yml126 miri:
127 name: miri
131 - name: Miri
132 run: ci/miri.sh
/external/rust/crates/bytes/tests/
Dtest_bytes_odd_alloc.rs4 #![cfg(not(miri))] // Miri does not support custom allocators (also, Miri is "odd" by default with …
/external/rust/crates/memoffset/
D.travis.yml7 - name: miri
11 - sh ci/miri.sh
/external/rust/crates/tokio/src/runtime/tests/
Dmod.rs12 #[cfg(miri)]
/external/rust/crates/once_cell/tests/
Dit.rs350 #[cfg_attr(miri, ignore)] // miri doesn't support processes
532 …#[cfg_attr(miri, ignore)] // FIXME: deadlocks, likely caused by https://github.com/rust-lang/miri/…
559 #[cfg_attr(miri, ignore)] // miri doesn't support Barrier
/external/rust/crates/ryu/tests/
Df2s_test.rs46 let n = if cfg!(miri) { 100 } else { 1000000 }; in test_random()
55 #[cfg_attr(miri, ignore)]
/external/rust/crates/pin-project/tests/
Dcompiletest.rs1 #![cfg(not(miri))]
Dexpandtest.rs1 #![cfg(not(miri))]
/external/rust/crates/pin-project-lite/tests/
Dcompiletest.rs1 #![cfg(not(miri))]
/external/rust/crates/anyhow/patches/
Dtrybuild.diff8 -#[cfg_attr(miri, ignore)]
/external/rust/crates/rand/src/seq/
Dmod.rs807 #[cfg_attr(miri, ignore)] // Miri is too slow
861 #[cfg_attr(miri, ignore)] // Miri is too slow
915 #[cfg_attr(miri, ignore)] // Miri is too slow
958 #[cfg_attr(miri, ignore)] // Miri is too slow
1046 #[cfg_attr(miri, ignore)] // Miri is too slow
/external/rust/crates/memchr/src/tests/
Dmiri.rs1 // Simple tests using MIRI
/external/rust/crates/hashbrown/tests/
Dset.rs1 #![cfg(not(miri))] // FIXME: takes too long
/external/rust/crates/rand/src/distributions/
Dbernoulli.rs172 #[cfg_attr(miri, ignore)] // Miri is too slow

123