Update Kani version to fade7057e845eb5e5c6c9bc00a6d72b338765683

gitbot · gitbot · commit c92028574b2a · 2025-08-06T10:59:19.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 = "53a7a3b516c5cbe504378d4a208d07d49b5aa4ec"
+commit = "fade7057e845eb5e5c6c9bc00a6d72b338765683"
