Fixup to adjust to model-checking#3207

tautschnig · Jun 7, 2024 · 8a04ad9 · 8a04ad9
1 parent ef9ecda
commit 8a04ad9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/expected/function-contract/diverging_loop.rs b/tests/expected/function-contract/diverging_loop.rs
@@ -2,7 +2,7 @@
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 // kani-flags: -Zfunction-contracts
 
-#[kani::ensures(result == 1)]
+#[kani::ensures(|result : &i32| *result == 1)]
 fn foo() -> i32 {
     loop {}
     2