From 3f864757b304d87f860192b207c71240474c34d7 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 19 Apr 2019 17:56:38 +0200
Subject: [PATCH] add Miri CI

---
 .travis.yml      |  6 ++++++
 utils/ci/miri.sh | 19 +++++++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 utils/ci/miri.sh

diff --git a/.travis.yml b/.travis.yml
index 565550d8e39..4e754799448 100644
--- a/.travis.yml
+++ b/.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
diff --git a/utils/ci/miri.sh b/utils/ci/miri.sh
new file mode 100644
index 00000000000..0d8cf2a5ade
--- /dev/null
+++ b/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