From ae3f0a1ab9b637139cceb6897039327e4af2f6c3 Mon Sep 17 00:00:00 2001 From: Adrian Palacios Date: Wed, 3 Jul 2024 14:07:06 +0000 Subject: [PATCH] Add newly merged PR to notes --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 390f7130153e..47ae290853a3 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -13,6 +13,7 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from ### Breaking Changes * Remove support for the unstable argument `--function` by @celinval in https://github.com/model-checking/kani/pull/3278 +* Remove deprecated `--enable-stubbing` by @celinval in https://github.com/model-checking/kani/pull/3309 ### What's Changed