From f6efc71f139d872de0e3bbd5af61b97b09e76530 Mon Sep 17 00:00:00 2001 From: Kareem Khazem Date: Tue, 7 May 2024 22:04:07 +0100 Subject: [PATCH] Update CHANGELOG.md Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com> --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index a8c93827bca1..5e820aada0dc 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -9,7 +9,7 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from ## What's Changed * Do not assume that ZST-typed symbols refer to unique objects by @tautschnig in https://github.com/model-checking/kani/pull/3134 -* Remove kani::Arbitrary from the modifies contract instrumentation by @feliperodri in https://github.com/model-checking/kani/pull/3169 +* Remove `kani::Arbitrary` from the `modifies` contract instrumentation by @feliperodri in https://github.com/model-checking/kani/pull/3169 * Emit source locations whenever possible to ease debugging and coverage reporting by @tautschnig in https://github.com/model-checking/kani/pull/3173 * Fix cargo audit error by @jaisnan in https://github.com/model-checking/kani/pull/3160 * Rust toolchain upgraded to `nightly-2024-04-21` by @celinval