Copyright, flags

tautschnig · Jun 4, 2024 · efc4769 · efc4769
1 parent 2e94219
commit efc4769
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tests/expected/function-contract/diverging_loop.rs b/tests/expected/function-contract/diverging_loop.rs
@@ -1,3 +1,7 @@
+// Copyright Kani Contributors
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+// kani-flags: -Zfunction-contracts
+
 #[kani::ensures(result == 1)]
 fn foo() -> i32 {
     loop {}