diff --git a/tests/cargo-kani/mir-linker/Cargo.toml b/tests/cargo-kani/mir-linker/Cargo.toml
deleted file mode 100644
index 39d5016a407b..000000000000
--- a/tests/cargo-kani/mir-linker/Cargo.toml
+++ /dev/null
@@ -1,13 +0,0 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
-[package]
-name = "mir-linker"
-version = "0.1.0"
-edition = "2021"
-description = "Ensures that the mir-linker works accross crates"
-
-[dependencies]
-semver = "1.0"
-
-[package.metadata.kani]
-flags = { mir-linker=true, enable-unstable=true }
diff --git a/tests/cargo-kani/mir-linker/expected b/tests/cargo-kani/mir-linker/expected
deleted file mode 100644
index 2a5a5ac367ba..000000000000
--- a/tests/cargo-kani/mir-linker/expected
+++ /dev/null
@@ -1,3 +0,0 @@
-Status: SUCCESS\
-Next is greater\
-in function check_version
diff --git a/tests/cargo-kani/mir-linker/src/lib.rs b/tests/cargo-kani/mir-linker/src/lib.rs
deleted file mode 100644
index a1514d454828..000000000000
--- a/tests/cargo-kani/mir-linker/src/lib.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-// Copyright Kani Contributors
-// SPDX-License-Identifier: Apache-2.0 OR MIT
-
-//! Dummy test to check --mir-linker runs on a cargo project.
-use semver::{BuildMetadata, Prerelease, Version};
-
-#[kani::proof]
-fn check_version() {
-    let next_major: u64 = kani::any();
-    let next_minor: u64 = kani::any();
-    kani::assume(next_major != 0 || next_minor != 0);
-
-    // Check whether this requirement matches version 1.2.3-alpha.1 (no)
-    let v0 = Version {
-        major: 0,
-        minor: 0,
-        patch: 0,
-        pre: Prerelease::EMPTY,
-        build: BuildMetadata::EMPTY,
-    };
-    let next = Version {
-        major: next_major,
-        minor: next_minor,
-        patch: 0,
-        pre: Prerelease::EMPTY,
-        build: BuildMetadata::EMPTY,
-    };
-    assert!(next > v0, "Next is greater");
-}
diff --git a/tests/kani/UnsizedCoercion/basic_coercion.rs b/tests/kani/UnsizedCoercion/basic_coercion.rs
index a60a76aec3be..ee8c80e87011 100644
--- a/tests/kani/UnsizedCoercion/basic_coercion.rs
+++ b/tests/kani/UnsizedCoercion/basic_coercion.rs
@@ -1,6 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-flags: --mir-linker --enable-unstable
 //! Check the basic coercion from using built-in references and pointers.
 //! Tests are broken down into different crates to ensure that the reachability works for each case.
 
diff --git a/tests/kani/UnsizedCoercion/basic_inner_coercion.rs b/tests/kani/UnsizedCoercion/basic_inner_coercion.rs
index efc84b61ea1e..19d8f39fed7e 100644
--- a/tests/kani/UnsizedCoercion/basic_inner_coercion.rs
+++ b/tests/kani/UnsizedCoercion/basic_inner_coercion.rs
@@ -1,6 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-flags: --mir-linker --enable-unstable
 //! Check the basic coercion from using built-in references and pointers.
 //! Tests are broken down into different crates to ensure that the reachability works for each case.
 
diff --git a/tests/kani/UnsizedCoercion/basic_outer_coercion.rs b/tests/kani/UnsizedCoercion/basic_outer_coercion.rs
index a2b5bfae3129..633dfbdaa995 100644
--- a/tests/kani/UnsizedCoercion/basic_outer_coercion.rs
+++ b/tests/kani/UnsizedCoercion/basic_outer_coercion.rs
@@ -1,6 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-flags: --mir-linker --enable-unstable
 //! Check the basic coercion from using built-in references and pointers.
 //! Tests are broken down into different crates to ensure that the reachability works for each case.
 
diff --git a/tests/kani/UnsizedCoercion/box_coercion.rs b/tests/kani/UnsizedCoercion/box_coercion.rs
index e022bdef06e1..106f586f8eed 100644
--- a/tests/kani/UnsizedCoercion/box_coercion.rs
+++ b/tests/kani/UnsizedCoercion/box_coercion.rs
@@ -1,6 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-flags: --mir-linker --enable-unstable
 //! Check the basic coercion when using boxes.
 //! Tests are broken down into different crates to ensure that the reachability works for each case.
 
diff --git a/tests/kani/UnsizedCoercion/box_inner_coercion.rs b/tests/kani/UnsizedCoercion/box_inner_coercion.rs
index 35f10373d5ef..4e8a8b56624c 100644
--- a/tests/kani/UnsizedCoercion/box_inner_coercion.rs
+++ b/tests/kani/UnsizedCoercion/box_inner_coercion.rs
@@ -1,6 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-flags: --mir-linker --enable-unstable
 //! Check the basic coercion when using boxes.
 //! Tests are broken down into different crates to ensure that the reachability works for each case.
 
diff --git a/tests/kani/UnsizedCoercion/box_outer_coercion.rs b/tests/kani/UnsizedCoercion/box_outer_coercion.rs
index 586f54003cdf..2d91360cd576 100644
--- a/tests/kani/UnsizedCoercion/box_outer_coercion.rs
+++ b/tests/kani/UnsizedCoercion/box_outer_coercion.rs
@@ -1,6 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-flags: --mir-linker --enable-unstable
 //! Check the basic coercion when using boxes.
 //! Tests are broken down into different crates to ensure that the reachability works for each case.
 mod defs;
diff --git a/tests/kani/UnsizedCoercion/custom_outer_coercion.rs b/tests/kani/UnsizedCoercion/custom_outer_coercion.rs
index 7f7d68ef6e84..6d75204223c1 100644
--- a/tests/kani/UnsizedCoercion/custom_outer_coercion.rs
+++ b/tests/kani/UnsizedCoercion/custom_outer_coercion.rs
@@ -1,6 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-flags: --mir-linker --enable-unstable
 //! Check the basic coercion when using a custom CoerceUnsized implementation.
 //! Tests are broken down into different crates to ensure that the reachability works for each case.
 #![feature(coerce_unsized)]
diff --git a/tests/kani/UnsizedCoercion/double_coercion.rs b/tests/kani/UnsizedCoercion/double_coercion.rs
index 26cfb585821e..76158c811c00 100644
--- a/tests/kani/UnsizedCoercion/double_coercion.rs
+++ b/tests/kani/UnsizedCoercion/double_coercion.rs
@@ -1,6 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-flags: --mir-linker --enable-unstable
 //! Check the basic coercion when using box of box.
 //! Tests are broken down into different crates to ensure that the reachability works for each case.
 
diff --git a/tests/kani/UnsizedCoercion/rc_outer_coercion.rs b/tests/kani/UnsizedCoercion/rc_outer_coercion.rs
index 2543498cca80..7a608d7d1d57 100644
--- a/tests/kani/UnsizedCoercion/rc_outer_coercion.rs
+++ b/tests/kani/UnsizedCoercion/rc_outer_coercion.rs
@@ -1,6 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-flags: --mir-linker --enable-unstable
 //! Check the basic coercion from using reference counter.
 //! Tests are broken down into different crates to ensure that the reachability works for each case.
 mod defs;
diff --git a/tests/kani/UnsizedCoercion/trait_to_trait_coercion.rs b/tests/kani/UnsizedCoercion/trait_to_trait_coercion.rs
index 32875f8b8e22..b7750db487e2 100644
--- a/tests/kani/UnsizedCoercion/trait_to_trait_coercion.rs
+++ b/tests/kani/UnsizedCoercion/trait_to_trait_coercion.rs
@@ -1,6 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-flags: --mir-linker --enable-unstable
 //! Check the basic coercion from using built-in references and pointers.
 //! Tests are broken down into different crates to ensure that the reachability works for each case.
 
diff --git a/tests/perf/string/src/any_str.rs b/tests/perf/string/src/any_str.rs
index 3b58d56750a7..6b3f9cffbc37 100644
--- a/tests/perf/string/src/any_str.rs
+++ b/tests/perf/string/src/any_str.rs
@@ -1,10 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-//
-// kani-flags: --enable-unstable --mir-linker
-//
-//! This test is to check MIR linker state of the art.
-//! I.e.: Currently, this should fail with missing function definition.
 
 #[kani::proof]
 #[kani::unwind(4)]
diff --git a/tests/slow/kani/Strings/copy_empty_string_by_intrinsic.rs b/tests/slow/kani/Strings/copy_empty_string_by_intrinsic.rs
index a0c1bef7d003..596bedaa7825 100644
--- a/tests/slow/kani/Strings/copy_empty_string_by_intrinsic.rs
+++ b/tests/slow/kani/Strings/copy_empty_string_by_intrinsic.rs
@@ -1,7 +1,6 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 
-// kani-flags: --enable-unstable --mir-linker
 //! Make sure we can handle explicit copy_nonoverlapping on empty string
 //! This used to trigger an issue: https://github.com/model-checking/kani/issues/241
 
diff --git a/tests/ui/mir-linker/generic-harness/incorrect.rs b/tests/ui/mir-linker/generic-harness/incorrect.rs
index e68eba6ec834..e52b06801517 100644
--- a/tests/ui/mir-linker/generic-harness/incorrect.rs
+++ b/tests/ui/mir-linker/generic-harness/incorrect.rs
@@ -1,8 +1,6 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 //
-// kani-flags: --enable-unstable --mir-linker
-//
 //! Checks that we correctly fail if the harness is a generic function.
 
 #[kani::proof]