add Miri CI

.travis.yml

@@ -256,6 +256,12 @@ matrix:
       script:
         - bash utils/ci/script.sh
 
+    - rust: nightly
+      os: linux
+      env: DESCRIPTION="Miri, nightly"
+      script:
+        - sh utils/ci/miri.sh
+
 before_install:
   - set -e
   - rustup self update

utils/ci/miri.sh

@@ -0,0 +1,19 @@
+set -ex
+
+if rustup component add miri ; then
+    cargo miri setup
+
+    cargo miri test --no-default-features -- -Zmiri-seed=42 -- -Zunstable-options --exclude-should-panic
+    cargo miri test --features=serde1,log -- -Zmiri-seed=42 -- -Zunstable-options --exclude-should-panic
+    cargo miri test --manifest-path rand_core/Cargo.toml
+    cargo miri test --manifest-path rand_core/Cargo.toml --no-default-features
+    #cargo miri test --manifest-path rand_distr/Cargo.toml # no unsafe and lots of slow tests
+    cargo miri test --manifest-path rand_isaac/Cargo.toml --features=serde1
+    cargo miri test --manifest-path rand_pcg/Cargo.toml --features=serde1
+    cargo miri test --manifest-path rand_xorshift/Cargo.toml --features=serde1
+    cargo miri test --manifest-path rand_xoshiro/Cargo.toml
+    cargo miri test --manifest-path rand_chacha/Cargo.toml
+    cargo miri test --manifest-path rand_hc/Cargo.toml
+    cargo miri test --manifest-path rand_jitter/Cargo.toml
+    cargo miri test --manifest-path rand_os/Cargo.toml -- -Zmiri-seed=42
+fi