Remove --mir-linker from Cargo.toml

zhassan-aws · Oct 1, 2024 · 040ab6f · 040ab6f
1 parent 3853481
commit 040ab6f
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/tests/cargo-kani/asm/global/Cargo.toml b/tests/cargo-kani/asm/global/Cargo.toml
@@ -13,4 +13,4 @@ crate_with_global_asm = { path = "crate_with_global_asm" }
 
 [package.metadata.kani]
 # Issue with MIR Linker on static constant.
-flags = { enable-unstable = true, ignore-global-asm = true, mir-linker = true }
+flags = { enable-unstable = true, ignore-global-asm = true }
diff --git a/tests/cargo-ui/ws-integ-tests/Cargo.toml b/tests/cargo-ui/ws-integ-tests/Cargo.toml
@@ -15,5 +15,3 @@ members = [
 [workspace.metadata.kani.flags]
 workspace = true
 tests = true
-enable-unstable=true
-mir-linker=true