Add copyright

model-checking · Aug 16, 2023 · 484d117 · 484d117
1 parent 9ccc6e0
commit 484d117
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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:
 //!