Update Kani version to 1954c10d033221e8085d597464bc413865152e27

gitbot · gitbot · commit 7609a462911f · 2025-07-30T07:07:55.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 = "c1648416995a15b6ab33e44829e96c9a65541927"
+commit = "1954c10d033221e8085d597464bc413865152e27"
