Merge pull request #22 from RalfJung/miri

run CI in Miri

.travis.yml

@@ -1,24 +1,32 @@
 sudo: false
 language: rust
-rust:
-  - 1.20.0  # Oldest supported
-  - 1.36.0  # Oldest supported with MaybeUninit
-  - stable
-  - beta
-  - nightly
+cache:
+  cargo: true
 matrix:
   include:
+  - rust: 1.20.0  # Oldest supported
+  - rust: 1.36.0  # Oldest supported with MaybeUninit
+  - rust: stable
+  - rust: beta
+  - rust: nightly
+
+  - env: MIRI
+    rust: nightly
+    os: linux
+    script:
+      - sh ci/miri.sh
+
   - env: RUSTFMT
     rust: 1.36.0
     install:
     - rustup component add rustfmt
     script:
     - cargo fmt -- --check
+
   - env: RUSTFLAGS="-D warnings"
     rust: 1.33.0  # `stable`: Locking down for consistent behavior
     script:
     - cargo check --tests
-  fast_finish: true
 
 install:
 - rustc -Vv
@@ -27,6 +35,3 @@ install:
 script:
 - rm -rf target/debug/deps/*memoffset*  # Avoid rustdoc problems
 - cargo test --verbose
-
-cache:
-  cargo: true

ci/miri.sh

@@ -0,0 +1,10 @@
+set -ex
+
+MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
+echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
+rustup default "$MIRI_NIGHTLY"
+
+rustup component add miri
+cargo miri setup
+
+cargo miri test