copyright

model-checking · Jul 31, 2024 · 714cd20 · 714cd20
1 parent b126001
commit 714cd20
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tests/cargo-kani/iss2857/Cargo.toml b/tests/cargo-kani/iss2857/Cargo.toml
@@ -1,3 +1,5 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
 [package]
 name = "iss2857"
 version = "0.1.0"