diff --git a/resources/test-package/Cargo.toml b/resources/test-package/Cargo.toml
index 721ecdc..b16754d 100644
--- a/resources/test-package/Cargo.toml
+++ b/resources/test-package/Cargo.toml
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 [package]
 name = "test-package"
 version = "0.1.0"
diff --git a/resources/test-package/src/funs.rs b/resources/test-package/src/funs.rs
index e726ffb..a8155d9 100644
--- a/resources/test-package/src/funs.rs
+++ b/resources/test-package/src/funs.rs
@@ -1,3 +1,6 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+
 pub fn estimate_size(x: u32) -> u32 {
     assert!(x < 4096);
 
diff --git a/resources/test-package/src/lib.rs b/resources/test-package/src/lib.rs
index a2f467c..e178397 100644
--- a/resources/test-package/src/lib.rs
+++ b/resources/test-package/src/lib.rs
@@ -1,3 +1,6 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+
 //! This package is intended to assist in manually testing the features of the
 //! extension. The tests to be performed are the following:
 //!