Merge branch 'main' into lower-cbmc-verbosity

model-checking · Jul 31, 2024 · 3cbe135 · 3cbe135
2 parents 754dc57 + 7e02353
commit 3cbe135
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/expected/function-contract/interior-mutability/api/cell_stub.rs b/tests/expected/function-contract/interior-mutability/api/cell_stub.rs
@@ -1,6 +1,6 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-flags: -Zfunction-contracts
+// kani-flags: -Zfunction-contracts --solver minisat
 
 /// The objective of this test is to show that the contracts for double can be replaced as a stub within the contracts for quadruple.
 /// This shows that we can generate `kani::any()` for Cell.