]> git.lizzy.rs Git - rust.git/commitdiff
explain Miri disabling
authorRalf Jung <post@ralfj.de>
Fri, 9 Aug 2019 11:55:22 +0000 (13:55 +0200)
committerRalf Jung <post@ralfj.de>
Fri, 9 Aug 2019 11:55:22 +0000 (13:55 +0200)
src/libcore/tests/slice.rs

index 1ef77f87ab7e2cc712e928ed33ef04092043daad..a0426c0d4fe8a5785032d14e98dbe7d6c017b733 100644 (file)
@@ -1153,7 +1153,7 @@ fn test_rotate_right() {
 }
 
 #[test]
-#[cfg(not(miri))]
+#[cfg(not(miri))] // Miri is too slow
 fn brute_force_rotate_test_0() {
     // In case of edge cases involving multiple algorithms
     let n = 300;