diff --git a/tests/expected/function-contract/history/stub.rs b/tests/expected/function-contract/history/stub.rs
index 77c590134f41..ce795bea6990 100644
--- a/tests/expected/function-contract/history/stub.rs
+++ b/tests/expected/function-contract/history/stub.rs
@@ -1,6 +1,8 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-flags: -Zfunction-contracts
+// This test consumes > 9 GB of memory with 16 object bits. Reducing the number
+// of object bits to 8 to avoid running out of memory.
+// kani-flags: -Zfunction-contracts --enable-unstable --cbmc-args --object-bits 8
 
 #[kani::ensures(|result| old(*ptr + *ptr) == *ptr)]
 #[kani::requires(*ptr < 100)]