Skip to content

Commit

Permalink
update miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@RalfJung
RalfJung committed Feb 7, 2020
1 parent b5e21db commit 4eeaa92
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 14 files
+1 −1 rust-version
+0 −40 src/shims/intrinsics.rs
+1 −3 tests/compile-fail/div-by-zero-1.rs
+9 −0 tests/compile-fail/div-by-zero-2.rs
+0 −11 tests/compile-fail/div-by-zero-3.rs
+1 −1 tests/compile-fail/generator-pinned-moved.rs
+1 −1 tests/compile-fail/unchecked_add1.rs
+1 −1 tests/compile-fail/unchecked_add2.rs
+5 −0 tests/compile-fail/unchecked_div1.rs
+1 −1 tests/compile-fail/unchecked_mul1.rs
+1 −1 tests/compile-fail/unchecked_mul2.rs
+1 −1 tests/compile-fail/unchecked_sub1.rs
+1 −1 tests/compile-fail/unchecked_sub2.rs
+110 −18 tests/run-pass/generator.rs

0 comments on commit 4eeaa92

Please sign in to comment.