diff --git a/test/errors.rs b/test/errors.rs
index 8faff149167e..8d66ec48ad14 100755
--- a/test/errors.rs
+++ b/test/errors.rs
@@ -17,3 +17,9 @@ fn pointers_to_different_allocations_are_unorderable() -> bool {
     let y: *const u8 = &2;
     x < y
 }
+
+#[miri_run]
+fn invalid_bools_are_rejected() -> u8 {
+    let b = unsafe { std::mem::transmute::<u8, bool>(2) };
+    if b { 1 } else { 2 }
+}
diff --git a/test/vecs.rs b/test/vecs.rs
index b2f2f27ceeab..e9f6c12b4409 100755
--- a/test/vecs.rs
+++ b/test/vecs.rs
@@ -16,7 +16,7 @@ fn make_vec_macro() -> Vec<i32> {
 
 #[miri_run]
 fn make_vec_macro_repeat() -> Vec<u8> {
-    vec![42; 8]
+    vec![42; 5]
 }
 
 #[miri_run]