add copyright

model-checking · Sep 3, 2024 · d596329 · d596329
1 parent 29a009c
commit d596329
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git 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
@@ -1,3 +1,6 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+
 const C: [u32; 5] = [0; 5];
 
 #[allow(unconditional_panic)]