From 45cf4f32ebe925657d598f1726464e74f2a7802f Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sat, 8 Jun 2024 04:41:23 +0000 Subject: [PATCH] Copyright --- .../build-rs-plus-host-with-kani-proofs/binary/Cargo.toml | 2 ++ .../build-rs-plus-host-with-kani-proofs/constants/Cargo.toml | 2 ++ 2 files changed, 4 insertions(+) diff --git a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/binary/Cargo.toml b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/binary/Cargo.toml index fffa04fc9a76..5953dd85a56b 100644 --- a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/binary/Cargo.toml +++ b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/binary/Cargo.toml @@ -1,3 +1,5 @@ +# Copyright Kani Contributors +# SPDX-License-Identifier: Apache-2.0 OR MIT [package] name = "binary" version = "0.1.0" diff --git a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml index 06d81738ccfc..8769a5d47c83 100644 --- a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml +++ b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml @@ -1,3 +1,5 @@ +# Copyright Kani Contributors +# SPDX-License-Identifier: Apache-2.0 OR MIT [package] name = "constants" version = "0.1.0"