Update Kani version to 9a0270daec940c0a9bcebffbdaada1fcfaa294f7

gitbot · gitbot · commit 0c849c715623 · 2025-08-14T14:07:28.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 = "9deeec1bec16c4b1f1173d5d652f99d330a4650f"
+commit = "9a0270daec940c0a9bcebffbdaada1fcfaa294f7"
