diff --git a/tests/slow/kani/Strings/copy_empty_string_by_intrinsic.rs b/tests/kani/Strings/copy_empty_string_by_intrinsic.rs
similarity index 100%
rename from tests/slow/kani/Strings/copy_empty_string_by_intrinsic.rs
rename to tests/kani/Strings/copy_empty_string_by_intrinsic.rs
diff --git a/tests/slow/kani/Vectors/any/push_slow.rs b/tests/kani/Vectors/any/push_slow.rs
similarity index 100%
rename from tests/slow/kani/Vectors/any/push_slow.rs
rename to tests/kani/Vectors/any/push_slow.rs