Copyright and comment in test

tautschnig · Apr 26, 2024 · 1356d23 · 1356d23
1 parent 1c75d72
commit 1356d23
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tests/expected/zst/main.rs b/tests/expected/zst/main.rs
@@ -1,3 +1,7 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+
+// This example demonstrates that rustc may choose not to allocate unique locations to ZST objects.
 #[repr(C)]
 #[derive(Copy, Clone)]
 struct Z(i8, i64);