diff --git a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/binary/Cargo.toml b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/binary/Cargo.toml
index fffa04fc9a76..5953dd85a56b 100644
--- a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/binary/Cargo.toml
+++ b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/binary/Cargo.toml
@@ -1,3 +1,5 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
 [package]
 name = "binary"
 version = "0.1.0"
diff --git a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml
index 06d81738ccfc..8769a5d47c83 100644
--- a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml
+++ b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml
@@ -1,3 +1,5 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
 [package]
 name = "constants"
 version = "0.1.0"