Add copyright info

model-checking · Aug 27, 2024 · c236c20 · c236c20
1 parent a86399d
commit c236c20
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 18 deletions.
diff --git a/tests/expected/aliasing/boxed.expected.fixme b/tests/expected/aliasing/boxed.expected.fixme
diff --git a/tests/expected/aliasing/control_flow.rs b/tests/expected/aliasing/control_flow.rs
@@ -1,3 +1,5 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
 // kani-flags: -Zghost-state -Zaliasing
 
 #[allow(unused)]

diff --git a/tests/expected/aliasing/duplicate_write.rs b/tests/expected/aliasing/duplicate_write.rs
@@ -1,3 +1,5 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
 // kani-flags: -Zghost-state -Zaliasing
 
 #[kani::proof]

diff --git a/tests/expected/aliasing/duplicate_write_compressed.rs b/tests/expected/aliasing/duplicate_write_compressed.rs
@@ -1,3 +1,5 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
 // kani-flags: -Zghost-state -Zaliasing
 
 #[kani::proof]

diff --git a/tests/expected/aliasing/write_read_write.expected.fixme b/tests/expected/aliasing/write_read_write.expected.fixme
diff --git a/tests/expected/aliasing/write_read_write.rs.fixme b/tests/expected/aliasing/write_read_write.rs.fixme