Update Kani version to d6853436382d876e574fb8a3fdef5b798a6e7d0d

gitbot · gitbot · commit b969c1ca0b1e · 2025-04-24T14:08:34.000Z
diff --git a/tool_config/kani-version.toml b/tool_config/kani-version.toml
@@ -2,4 +2,4 @@
 # incompatible with the verify-std repo.
 
 [kani]
-commit = "2879207097a875f22768aec1e972c9b87b01b1b6"
+commit = "d6853436382d876e574fb8a3fdef5b798a6e7d0d"
