diff --git a/tests/expected/issue-2239/issue_2239.rs b/tests/expected/issue-2239/issue_2239.rs
index e663b0178c09..36c41dec604d 100644
--- a/tests/expected/issue-2239/issue_2239.rs
+++ b/tests/expected/issue-2239/issue_2239.rs
@@ -1,3 +1,6 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+
 #![feature(trivial_bounds)]
 #![allow(unused, trivial_bounds)]
 
diff --git a/tests/expected/issue-2732/issue_2732.rs b/tests/expected/issue-2732/issue_2732.rs
index b2ea4c25795e..711380855900 100644
--- a/tests/expected/issue-2732/issue_2732.rs
+++ b/tests/expected/issue-2732/issue_2732.rs
@@ -1,3 +1,6 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+
 const C: [u32; 5] = [0; 5];
 
 #[allow(unconditional_panic)]