diff --git a/tests/cargo-ui/supported-lib-types/lib-rlib/Cargo.toml b/tests/cargo-ui/supported-lib-types/lib-rlib/Cargo.toml
deleted file mode 100644
index 7434f1c27f5f..000000000000
--- a/tests/cargo-ui/supported-lib-types/lib-rlib/Cargo.toml
+++ /dev/null
@@ -1,12 +0,0 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
-[package]
-name = "supported-lib"
-version = "0.1.0"
-edition = "2021"
-description = "Test that Kani correctly handle supported crate types"
-
-[lib]
-name = "lib"
-crate-type = ["lib", "rlib"]
-path = "../src/lib.rs"
diff --git a/tests/cargo-ui/supported-lib-types/lib-rlib/expected b/tests/cargo-ui/supported-lib-types/lib-rlib/expected
deleted file mode 100644
index 426470e8702c..000000000000
--- a/tests/cargo-ui/supported-lib-types/lib-rlib/expected
+++ /dev/null
@@ -1,2 +0,0 @@
-Checking harness check_ok...
-VERIFICATION:- SUCCESSFUL