Add copyright to the new test

model-checking · Jul 8, 2024 · 6dabe3f · 6dabe3f
1 parent 4092e82
commit 6dabe3f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tests/expected/uninit/delayed-ub/delayed-ub.rs b/tests/expected/uninit/delayed-ub/delayed-ub.rs
@@ -1,3 +1,7 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+// kani-flags: -Z ghost-state -Z uninit-checks
+
 /// Checks that Kani rejects mutable pointer casts between types of different padding.
 #[kani::proof]
 fn invalid_value() {