Skip to content

Commit

Permalink
update miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@RalfJung
RalfJung committed Jun 22, 2019
1 parent 305930c commit a1e954e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 10 files
+3 −2 .appveyor.yml
+5 −0 .travis.yml
+1 −1 rust-version
+1 −1 src/bin/cargo-miri.rs
+1 −1 src/intrinsic.rs
+5 −5 src/lib.rs
+21 −0 src/operator.rs
+44 −0 tests/compile-fail/generator-pinned-moved.rs
+7 −0 tests/compile-fail/ptr_ge_integer.rs
+7 −0 tests/run-pass/pointers.rs

0 comments on commit a1e954e

Please sign in to comment.